needsStateMachine_(statements) {
    if (statements instanceof Array) {
      for (let i = 0; i < statements.length; i++) {
        if (needsStateMachine(statements[i]))
          return true;
      }
      return false;
    }

    assert(statements instanceof SwitchStatement);
    return needsStateMachine(statements);
  }
@param {Array.<ParseTree>|SwitchStatement} statements
@return {boolean}