implement destMinMaxTransitions.less()
prefer OpenBitSet; implement removeDeadStates()
implement OpenBitSet.set()