Internal error after Determinize -> Total
https://alt.fit.cvut.cz/webui/?s=6ABabzH7jr3jIWuDLPlkkj