whileBody :: (Ord sym, Ord sta) => Fa sym sta -> Set sym -> State (InnerState sym sta) ()
whileBody !fa !symbols =
  moveRFromFrontToNewStates >>= addStateAndTransitionsOfR fa symbols
whileBody :: (Ord sym, Ord sta) => Fa sym sta -> Set sym -> State (InnerState sym sta) ()
whileBody !fa !symbols =
  moveRFromFrontToNewStates >>= addStateAndTransitionsOfR fa symbols
whileBody !fa !symbols =
  moveRFromFrontToNewStates >>= addStateAndTransitionsOfR fa symbols