determinization new states fixed
finalization