anchor.diff:  	    "    Expanded spec file: $TESTDIR/Snark/Tuples/P2.sw"
   	    "    Snark Log file: $TESTDIR/Snark/Tuples/P2.log"
   	    "P2: Conjecture twoMakesMakeAMatch2 in O1 is Proved! using simple inequality reasoning."
  -	    "")
  -  )
  +	    ""))
  +
    )
  
positive.code: 	    (:optional ";; Directory $TESTDIR/Snark/MathFact/ does not exist, will create.")
  	    "    Expanded spec file: $TESTDIR/Snark/MathFact/sum_spec_p1.sw"
  	    "    Snark Log file: $TESTDIR/Snark/MathFact/sum_spec_p1.log"
  	    "sum_spec_p1: Conjecture sum_zero in sum_spec_obs is NOT proved using Snark."
  	    "")
    )
        
   ("twk_message 8/13/04"
    :sw "Tuples"
  
negative.code: 	    "              legal? of type move -> Boolean"
  	    "          with expected type Boolean"
  	    ""))
  
   ("twk message 1/8/03 fix 1"
    :sw "t0103_2"
    :output '(";;; Elaborating spec at $TESTDIR/t0103_2#player"
  	    ";;; Elaborating spec at $TESTDIR/t0103_2#position"
  	    ";;; Elaborating spec at $TESTDIR/t0103_2#move"
  	    ""))
  
   ("twk message 1/8/03 fix 2"
    :sw "t0103_3"
    :output '(";;; Elaborating spec at $TESTDIR/t0103_3#player"
  	    ";;; Elaborating spec at $TESTDIR/t0103_3#position"
  	    ";;; Elaborating spec at $TESTDIR/t0103_3#move"
  	    ""))
  
   ("twk_message 6/2/04"
    :sw "Switch"
    :output '(
  