public static boolean tokenizerIncludeSpecP(Stella_Object x) {
    return (Stella_Object.isaP(x, Stella.SGT_STELLA_GENERALIZED_SYMBOL) &&
        Stella.stringEqlP(((GeneralizedSymbol)(x)).symbolName, "INCLUDE"));
  }