anchor.diff:  	    (:optional ";;; Suppressing generated def for String-Spec::|!<|")
   	    (:optional ";;; Suppressing generated def for String-Spec::|!exists|")
   	    (:optional ";;; Suppressing generated def for String-Spec::|!map|")
  -	    ""))
  -
  +	    (:optional "")
  +	    ))
    )
  
positive.code: 	    (:optional "WARNING: Non-constructive def for Integer-Spec::gcd-2")
  	    (:optional "WARNING: Non-constructive def for Integer-Spec::lcm-2")
  	    (:optional "WARNING: Non-constructive def for Char-Spec::ord")
              (:optional "WARNING: Non-constructive def for List-Spec::lengthOfListFunction")
              (:optional "WARNING: Non-constructive def for List-Spec::definedOnInitialSegmentOfLength-2")
              (:optional "WARNING: Non-constructive def for Function-Spec::inverse-1-1")
              (:optional "WARNING: Non-constructive def for Function-Spec::surjective?")
              (:optional "WARNING: Non-constructive def for Function-Spec::injective?")
  	    (:optional ";;; Suppressing generated def for Boolean-Spec::show")
  	    (:optional ";;; Suppressing generated def for Char-Spec::ord")
  	    (:optional ";;; Suppressing generated def for IntegerAux::|!-|")
  
negative.code: 	    (:optional ";; ensure-directories-exist: creating $TESTDIR/lisp/BBcol.lisp")
  	    (:optional "creating directory: $TESTDIR/lisp/")
  	    (:optional ";; Directory $TESTDIR/lisp/ does not exist, will create.")
              (:optional ";;; Elaborating spec at $SPECWARE/Library/Base/List_Executable")
              (:optional "WARNING: Non-constructive def for List-Spec::lengthOfListFunction")
              (:optional "WARNING: Non-constructive def for List-Spec::definedOnInitialSegmentOfLength-2")
              (:optional "WARNING: Non-constructive def for Function-Spec::inverse-1-1")
              (:optional "WARNING: Non-constructive def for Function-Spec::surjective?")
              (:optional "WARNING: Non-constructive def for Function-Spec::injective?")
  	    (:optional "WARNING: Non-constructive def for Functions::wellFounded?")
  	    (:optional "WARNING: Non-constructive def for Functions::inverse-1-1")
  	    (:optional "WARNING: Non-constructive def for Functions::surjective?")
  