Internal error after Determinize -> Total

https://alt.fit.cvut.cz/webui/?s=6ABabzH7jr3jIWuDLPlkkj