anchor.diff:    (setq *transform-spec* spc)
     (setq *transform-specunit-Id* cl-user::*last-unit-Id-_loaded*)
     (setq *transform-term* nil)
  +  (setq *current-qid* nil)
     (setq *transform-commands* nil)
     (setq *undo-stack* nil)
     (setq *prompt* "** ")
  
positive.code:     (setq *transform-term* (first last-state))
      (setq *transform-commands* (second last-state))
      (setq *transform-spec* (third last-state))
      (push (fourth last-state) *redos*)))
  
  (defun print-current-term (with-types?)
    (if (null *transform-term*)
  
negative.code: 	()
  	(progn
  	  (push-state `(at-command ,qid))
  	  (setq *transform-term* (PathTerm::typedPathTerm new-term))
            (setq *current-qid* qid)
  	  (push #'(lambda (future-steps)
  		    (if (null future-steps)
  			nil
  