public static Cons walkForallTree(Cons tree, Object [] MV_returnarray) {
    { Symbol alwaysP = Stella.localGensym("ALWAYS?");
      Cons iteratorsandwhere = Stella.NIL;
      Stella_Object alwaystest = Stella.NIL;
      Cons precursor = Stella.NIL;
      Cons cursor = tree;

      loop000 : while (!(cursor == Stella.NIL)) {
        if (cursor.value == Stella.SYM_STELLA_ALWAYS) {
          alwaystest = cursor.rest.value;
          precursor.rest = Stella.NIL;
          break loop000;
        }
        precursor = cursor;
        cursor = cursor.rest;
      }
      iteratorsandwhere = tree.rest;
      { Cons _return_temp = ((Cons)(Cons.list$(Cons.cons(Stella.SYM_STELLA_VRLET, Cons.cons(Cons.cons(Cons.cons(alwaysP, Cons.cons(Stella.SYM_STELLA_TRUE, Stella.NIL)), Stella.NIL), Cons.cons(Cons.cons(Stella.SYM_STELLA_FOREACH, iteratorsandwhere.concatenate(Cons.list$(Cons.cons(Stella.SYM_STELLA_DO, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_NOT, Cons.cons(alwaystest, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Stella.SYM_STELLA_SETQ, Cons.cons(alwaysP, Cons.cons(Cons.cons(Stella.SYM_STELLA_FALSE, Stella.NIL), Stella.NIL)))), Cons.cons(Cons.cons(Stella.SYM_STELLA_BREAK, Stella.NIL), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL)), Cons.cons(alwaysP, Cons.cons(Stella.NIL, Stella.NIL))))))));

        MV_returnarray[0] = Stella.SGT_STELLA_BOOLEAN;
        return (_return_temp);
      }
    }
  }