anchor.diff:  (defun push-state (command)
     (unless *redoing?*
       (setq *redos* nil))
  -  (push (list *transform-term* *transform-commands* *transform-spec* command) *undo-stack*))
  +  (push (list *transform-term* *transform-commands* *transform-spec* command *current-qid*) *undo-stack*))
   
   (defvar *print-undone-commands* t)
   
  
positive.code:   (setq *transform-spec* spc)
    (setq *transform-specunit-Id* cl-user::*last-unit-Id-_loaded*)
    (setq *transform-term* nil)
    (setq *transform-commands* nil)
    (setq *undo-stack* nil)
    (setq *prompt* "** ")
  
negative.code: 
  (defvar *transform-spec*)
  (defvar *transform-specunit-Id*)
  (defvar *transform-term*)		; Actually a pair of root and path to current term
  (defvar *current-qid*)
  (defvar *transform-commands*)
  (defvar *undo-stack*)
  (defvar *redos*)
  