anchor.diff:  	   ((abstract-cse cse acse) (interpret-command (Script::mkAbstractCommonExpressions-0)))
   	   ((partial-eval pe)  (interpret-command (Script::mkPartialEval-0)))
   
  -	   (pc                 (print-current-term))
  +	   (pc                 (print-current-term nil))
  +	   (pcv                (print-current-term t))
   	   ((undo back)        (undo-command (and argstr (String-Spec::removeWhitesPace argstr)) nil))
   	   (redo               (redo-command (and argstr (String-Spec::removeWhitesPace argstr))))
   	   ((trace-rewrites trr) (setq MetaSlangRewriter::traceRewriting 2)
  
positive.code: 	      (push-state `(interpret-command ,command))
  	      (setq *transform-term* new-term)
  	      (push command *transform-commands*)
  	      (print-current-term)))
  	))
    (values))
  
  
negative.code: 			nil
  			(Script::mkAt-2 qid future-steps)))
  		*transform-commands*)
  	  (print-current-term nil)))
      (values)))
  
  (defparameter *move-alist* '(("f" :|First|) ("l" :|Last|) ("n" :|Next|) ("p" :|Prev|)
  