final public String index_subtype_definition() throws ParseException {
        String n;
    n = name();
    jj_consume_token(RANGE);
    jj_consume_token(156);
          {if (true) return n;}
    throw new Error("Missing return statement in function");
  }