public static Cons percolateOutBooleanVrletExpressions(Cons booleanexpression) {
    { Symbol testvariable = Stella.localGensym("TEST-VALUE");
      Cons otree = null;

      otree = Cons.list$(Cons.cons(Stella.SYM_STELLA_VRLET, Cons.cons(Cons.cons(Cons.cons(testvariable, Cons.cons(Stella.SYM_STELLA_FALSE, Stella.NIL)), Stella.NIL), Cons.cons(Stella_Object.helpTransformBooleanProceduralExpression(booleanexpression, testvariable).concatenate(Cons.cons(testvariable, Stella.NIL), Stella.NIL), Stella.NIL))));
      return (otree);
    }
  }