public static boolean legalTokenizerToStateP(Stella_Object x) {
    return (Stella_Object.legalTokenizerStateP(x) ||
        (Stella_Object.consP(x) &&
         (Stella_Object.legalTokenizerStateP(((Cons)(x)).value) &&
          Stella_Object.legalTokenizerStateP(((Cons)(x)).rest.value))));
  }