public static Stella_Object moveUp(Symbol successP, Symbol keepframeP) {
    { Keyword lastmove = null;

      if (successP == Logic.SYM_STELLA_TRUE) {
        lastmove = Logic.KWD_UP_TRUE;
      }
      else if (successP == Logic.SYM_LOGIC_FAIL) {
        lastmove = Logic.KWD_UP_FAIL;
        successP = Logic.SYM_STELLA_FALSE;
      }
      else {
        { OutputStringStream stream000 = OutputStringStream.newOutputStringStream();

          stream000.nativeStream.print("`" + successP + "' is not a valid case option");
          throw ((StellaException)(StellaException.newStellaException(stream000.theStringReader()).fillInStackTrace()));
        }
      }
      return (Cons.list$(Cons.cons(Logic.SYM_STELLA_LET, Cons.cons(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)))), Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_DEFINEDp, Cons.cons(Logic.SYM_LOGIC_PARENT, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_RESULT, Cons.cons(Logic.SYM_LOGIC_PARENT, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_IF, Cons.cons(Cons.cons(Logic.SYM_LOGIC_CACHE_QUERY_RESULTSp, Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CACHE_GOAL, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(successP, Cons.cons(Cons.cons(((keepframeP == Logic.SYM_LOGIC_KEEP_FRAME) ? Logic.SYM_STELLA_TRUE : Logic.SYM_STELLA_FALSE), Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Stella.NIL)), Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_UPDATE_GOAL_CACHE, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(successP, 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_STELLA_DEPTH, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_1_, 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_WHEN, Cons.cons(Logic.SYM_LOGIC_CHECKFORMOVEOUTp, 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_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(Logic.SYM_LOGIC_PARENT, 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(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(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(IntegerWrapper.wrapInteger(1), 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_SETQ, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_LOGIC_PARENT, 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_NULLp, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_SUCCESSp, Cons.cons(successP, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.cons(Logic.SYM_STELLA_BREAK, Stella.NIL), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons((((keepframeP == Logic.SYM_LOGIC_KEEP_FRAME) ? Stella.NIL : Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_POP_DOWN_FRAME, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL))).concatenate(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(lastmove, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL), Stella.NIL))))))))));
    }
  }