public static Stella_Object walkTopLevelExpression(Stella_Object tree) {
    { Object old$Localvariabletypetable$000 = Stella.$LOCALVARIABLETYPETABLE$.get();

      try {
        Native.setSpecial(Stella.$LOCALVARIABLETYPETABLE$, KeyValueList.newKeyValueList());
        { Stella_Object otree = Stella_Object.walkWithoutTypeTree(tree);

          if (Stella_Object.vrletExpressionP(otree)) {
            return (Stella_Object.walkWithoutTypeTree(Cons.list$(Cons.cons(Stella.SYM_STELLA_PROGN, Cons.cons(otree, Cons.cons(Stella.NIL, Stella.NIL))))));
          }
          return (otree);
        }

      } finally {
        Stella.$LOCALVARIABLETYPETABLE$.set(old$Localvariabletypetable$000);
      }
    }
  }