reduce Transitions in determinization