public static boolean variableExpressionP(Stella_Object tree) {
    { Surrogate testValue000 = Stella_Object.safePrimaryType(tree);

      if (testValue000 == Stella.SGT_STELLA_CONS) {
        { Cons tree000 = ((Cons)(tree));

          if (((GeneralizedSymbol)(tree000.value)) == Stella.SYM_STELLA_TYPED_SYS) {
            return (Stella_Object.variableExpressionP(tree000.rest.value));
          }
          else {
          }
          return (false);
        }
      }
      else if (Surrogate.subtypeOfSymbolP(testValue000)) {
        { Symbol tree000 = ((Symbol)(tree));

          return (true);
        }
      }
      else {
        return (false);
      }
    }
  }