public static boolean proceduralExpressionP(Stella_Object tree) {
    { boolean testValue000 = false;

      testValue000 = Stella_Object.consP(tree);
      if (testValue000) {
        if (((Cons)(tree)).value == Stella.SYM_STELLA_VRLET) {
          testValue000 = true;
        }
        else {
          { boolean foundP000 = false;

            { Stella_Object term = null;
              Cons iter000 = ((Cons)(tree)).rest;

              loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
                term = iter000.value;
                if (Stella_Object.proceduralExpressionP(term)) {
                  foundP000 = true;
                  break loop000;
                }
              }
            }
            testValue000 = foundP000;
          }
        }
      }
      { boolean value000 = testValue000;

        return (value000);
      }
    }
  }