anchor.diff:    (defmacro precedence (x)
       `(get ,x 'precedence)))
   
  -(defvar *writing* t)				; use prefix, postfix, infix operators during printing
  +;;; use prefix, postfix, infix operators during printing
  +(defvar *writing* t)
   
   (defun function-case (x)
     (string-downcase x))
  
positive.code: (defmacro with-n-subgoals (n form)
    `(let ((*remaining-depth* (- *remaining-depth* ,n)))
       (cond ((minusp *remaining-depth*)
  	    (if (> *remaining-depth* *minus-next-depth-increment*) (setq *minus-next-depth-increment* *remaining-depth*))
  	    nil)
  	   (t ,form))))
  
  
negative.code: 		       (not (getf (get (car l) 'compiled-parameters) :split-procedure))
  		       (get (car l) 'arity))))
  	  (when n
  	    (let ((k (dbg:frame-local-value frame-ptr '!nsubgoals! t)))
  	      ;; Symbolics bug: above results in an error if there is no
  	      ;; !nsubgoals! variable in the stack frame
  	      (push (if k
  			(list n l (car k) (cadr k))
  			(list n l 0 nil))
  