public Keyword continuePartialStrategiesProofs(Keyword lastmove) {
    { IncrementalPartialMatch self = this;

      { ControlFrame frame = self.controlFrame;
        Keyword result = null;

        if (lastmove == Logic.KWD_DOWN) {
          self.setDynamicCutoff();
        }
        else if (lastmove == Logic.KWD_UP_FAIL) {
          if (frame.down != null) {
            frame.down = null;
          }
        }
        else {
        }
        loop000 : for (;;) {
          result = ControlFrame.continueStrategiesProofs(frame, lastmove);
          if (result == Logic.KWD_CONTINUING_SUCCESS) {
            if (self.cutoffPartialMatchP(Stella_Object.traceKeywordP(Logic.KWD_GOAL_TREE))) {
              lastmove = Logic.KWD_DOWN;
            }
            else {
              break loop000;
            }
          }
          else {
            break loop000;
          }
        }
        return (result);
      }
    }
  }