Renamed FiniteStateTransitions to StateTransitionsMap.