@Override
  public void visitRegExpSetOptions(RegExpSetOptions options) {
    checkValidFlag(options.getOnOptions(), false);
    checkValidFlag(options.getOffOptions(), true);
  }
@Override
  public void visitRegExpSetOptions(RegExpSetOptions options)