addLoopBodyStates_(loopBodyMachine, continueState, breakState,
                     labels, states) {
    for (let i = 0; i < loopBodyMachine.states.length; i++) {
      let state = loopBodyMachine.states[i];
      states.push(
          state.transformBreakOrContinue(labels, breakState, continueState));
    }
  }
@param {StateMachine} loopBodyMachine
@param {number} continueState
@param {number} breakState
@param {StringMap} labels
@param {Array.<State>} states