Big optimization in Determinize