anchor.diff:    ;; all locations are nil.  (Hence they not are printed at the ends 
     ;; of the expressions they appear in.)
     :value     '(:|Apply|
  -	      . #((:|Fun|
  -		   . #((:|NotEquals|)
  -		       (:|Arrow| . #((:|Product| (("1" :|Bool|) ("2" :|Bool|))) 
  -				     (:|Bool|))))) 
  -		  (:|Record|
  -		   (("1" :|Apply|
  -		     . #((:|Fun|
  -			   . #((:|Equals|)
  -			       (:|Arrow|
  -				. #((:|Product|
  -				     (("1" :|Base| . #((:|Qualified| "Nat" . "Nat") NIL))
  -				      ("2" :|Base| . #((:|Qualified| "Nat" . "Nat") NIL))))
  -				    (:|Bool|)))))
  -			 (:|Record|
  -			  (("1" :|Fun|
  -			    . #((:|Nat| . 33)
  -				(:|Base| . #((:|Qualified| "Nat" . "Nat") NIL))))
  -			   ("2" :|Fun|
  -			    . #((:|Op| (:|Qualified| "<unqualified>" . "g") :|Unspecified|)
  -				(:|Base| . #((:|Qualified| "Nat" . "Nat") NIL))))))
  -			 ))
  -		    ("2" :|Fun| . #((:|Bool|) (:|Bool|)))))))
  +               . #((:|Fun|
  +                    . #((:|NotEquals|)
  +                        (:|Arrow|
  +                         . #((:|Product| (("1" :|Boolean|) ("2" :|Boolean|)) :|Internal| . "")
  +                             (:|Boolean| :|Internal| . "no position")
  +                             (:|Internal| . "")))
  +                        (:|Internal| . "")))
  +                   (:|Record|
  +                    (("1" :|Apply|
  +                          . #((:|Fun|
  +                               . #((:|Equals|)
  +                                   (:|Arrow|
  +                                    . #((:|Product|
  +                                         (("1" :|Base|
  +                                               . #((:|Qualified| "Nat" . "Nat") NIL
  +                                                   (:|Internal| . "no position")))
  +                                          ("2" :|Base|
  +                                               . #((:|Qualified| "Nat" . "Nat") NIL
  +                                                   (:|Internal| . "no position"))))
  +                                         :|Internal| . "")
  +                                        (:|Boolean| :|Internal| . "no position")
  +                                        (:|Internal| . "")))
  +                                   (:|Internal| . "")))
  +                              (:|Record|
  +                               (("1" :|Fun|
  +                                     . #((:|Nat| . 33)
  +                                         (:|Base|
  +                                          . #((:|Qualified| "Nat" . "Nat") NIL
  +                                              (:|Internal| . "no position")))
  +                                         (:|Internal| . "no position")))
  +                                ("2" :|Fun|
  +                                     . #((:|Op| (:|Qualified| "<unqualified>" . "g") :|Unspecified|)
  +                                         (:|Base|
  +                                          . #((:|Qualified| "Nat" . "Nat") NIL
  +                                              (:|Internal| . "")))
  +                                         (:|Internal| . ""))))
  +                               :|Internal| . "no position")
  +                              (:|Internal| . "no position")))
  +                     ("2" :|Fun|
  +                          . #((:|Bool|) (:|Boolean| :|Internal| . "no position")
  +                              (:|Internal| . "no position"))))
  +                    :|Internal| . "no position")
  +                   (:|Internal| . "no position"))) 
     :value-predicate #'(lambda (x y) 
   		       (and (equal (car x) :|Unevaluated|)
   			    (METASLANG::equalTerm?-2 (cdr x) y)))
  
positive.code:   ;; all locations are nil.  (Hence they not are printed at the ends 
    ;; of the expressions they appear in.)
    :value     '(:|Apply|
  	      . #((:|Fun|
  		   . #((:|NotEquals|)
  		       (:|Arrow| . #((:|Product| (("1" :|Bool|) ("2" :|Bool|))) 
  				     (:|Bool|))))) 
  		  (:|Record|
  		   (("1" :|Apply|
  		     . #((:|Fun|
  			   . #((:|Equals|)
  			       (:|Arrow|
  				. #((:|Product|
  				     (("1" :|Base| . #((:|Qualified| "Nat" . "Nat") NIL))
  				      ("2" :|Base| . #((:|Qualified| "Nat" . "Nat") NIL))))
  				    (:|Bool|)))))
  			 (:|Record|
  			  (("1" :|Fun|
  			    . #((:|Op| (:|Qualified| "<unqualified>" . "f") :|Unspecified|)
  				(:|Base| . #((:|Qualified| "Nat" . "Nat") NIL))))
  			   ("2" :|Fun|
  			    . #((:|Nat| . 33)
  				(:|Base| . #((:|Qualified| "Nat" . "Nat") NIL))))))
  			 ))
  		    ("2" :|Fun| . #((:|Bool|) (:|Bool|)))))))
    :value-predicate #'(lambda (x y) 
  		       (and (equal (car x) :|Unevaluated|)
  			    (METASLANG::equalTerm?-2 (cdr x) y)))
  
negative.code:   ;; all locations are nil.  (Hence they not are printed at the ends 
    ;; of the expressions they appear in.)
    :value     '(:|Apply|
                 . #((:|Fun|
                      . #((:|NotEquals|)
                          (:|Arrow|
                           . #((:|Product| (("1" :|Boolean|) ("2" :|Boolean|)) :|Internal| . "")
                               (:|Boolean| :|Internal| . "no position")
                               (:|Internal| . "")))
                          (:|Internal| . "")))
                     (:|Record|
                      (("1" :|Apply|
                            . #((:|Fun|
                                 . #((:|Equals|)
                                     (:|Arrow|
                                      . #((:|Product|
                                           (("1" :|Base|
                                                 . #((:|Qualified| "Nat" . "Nat") NIL
                                                     (:|Internal| . "")))
                                            ("2" :|Base|
                                                 . #((:|Qualified| "Nat" . "Nat") NIL
                                                     (:|Internal| . ""))))
                                           :|Internal| . "")
                                          (:|Boolean| :|Internal| . "no position")
                                          (:|Internal| . "")))
                                     (:|Internal| . "")))
                                (:|Record|
                                 (("1" :|Fun|
                                       . #((:|Op| (:|Qualified| "<unqualified>" . "f") :|Unspecified|)
                                           (:|Base|
                                            . #((:|Qualified| "Nat" . "Nat") NIL
                                                (:|Internal| . "")))
                                           (:|Internal| . "")))
                                  ("2" :|Fun|
                                       . #((:|Op| (:|Qualified| "<unqualified>" . "g") :|Unspecified|)
                                           (:|Base|
                                            . #((:|Qualified| "Nat" . "Nat") NIL
                                                (:|Internal| . "")))
                                           (:|Internal| . ""))))
                                 :|Internal| . "no position")
                                (:|Internal| . "no position")))
                       ("2" :|Fun|
                            . #((:|Bool|) (:|Boolean| :|Internal| . "no position")
                                (:|Internal| . "no position"))))
                      :|Internal| . "no position")
                     (:|Internal| . "no position")))
    :value-predicate #'(lambda (x y) 
  		       (and (equal (car x) :|Unevaluated|)
  			    (METASLANG::equalTerm?-2 (cdr x) y)))
  