public static boolean andOrNotTreeP(Stella_Object tree) {
    if (Stella_Object.consP(tree)) {
      { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(((Cons)(tree)).value));

        if ((testValue000 == Stella.SYM_STELLA_AND) ||
            ((testValue000 == Stella.SYM_STELLA_OR) ||
             (testValue000 == Stella.SYM_STELLA_NOT))) {
          return (true);
        }
        else {
          return (false);
        }
      }
    }
    else {
      return (false);
    }
  }