public static Stella_Object moveInPlace() {
    return (Cons.list$(Cons.cons(Logic.SYM_STELLA_PROGN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_TRUTH_VALUE, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_STELLA_NULL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_JUSTIFICATION, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_STELLA_NULL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_DEFINEDp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PARTIAL_MATCH_FRAME, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CLEAR_FRAME_PARTIAL_TRUTH, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PARTIAL_MATCH_FRAME, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_DOWN, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_COND, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CHECKFORMOVEOUTp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_LET, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PARENT, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_UP, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTTICKS, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTING_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_AVAILABLETICKS, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA__, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_PARENT, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA__, Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Logic.SYM_LOGIC_STARTTICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(IntegerWrapper.wrapInteger(1), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_PARENT, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_AVAILABLETICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA___, Cons.cons(Logic.SYM_LOGIC_AVAILABLETICKS, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_AVAILABLETICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CURRENT_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_QUERY, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_ii, Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTING_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_le, Cons.cons(Logic.SYM_LOGIC_AVAILABLETICKS, Cons.cons(IntegerWrapper.wrapInteger(0), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_POP_FRAMES_UP_TO, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_MV_SETQ, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_HANDLE_TIMEOUT, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_UP_FAIL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA___, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_1i, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA__, Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Logic.SYM_LOGIC_STARTTICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))))), Cons.cons(Stella.NIL, Stella.NIL)))))))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_OTHERWISE, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CURRENT_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_QUERY, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_ii, Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTING_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))))));
  }