anchor.diff:  	    "spec  "
   	    " type Y"
   	    " type X"
  +	    " "
  +	    " op  f : Y"
  +	    " op  g : Y"
  +	    " op  p : Y"
  +	    " op  q : X"
   	    " type A.T"
   	    " type B.T"
   	    " "
  -	    " op  q : X"
  -	    " "
  -	    " op  p : Y"
  -	    " "
   	    " op  D.m : X"
  -	    " "
   	    " op  E.m : X"
  -	    " "
  -	    " op  g : Y"
  -	    " "
  -	    " op  f : Y"
   	    "endspec"
   	    ""
   	    ""))
  
positive.code:   :output '(";;; Elaborating spec-translation at $TESTDIR/Collision#Ok2"
  	    ""
  	    "spec  "
  	    " type Z"
  	    " type Y"
  	    " type A.T"
  	    " type B.T"
  	    " "
  	    " op  q : Z"
  	    " "
  	    " op  p : Y"
  	    " "
  	    " op  D.m : Z"
  	    " "
  	    " op  E.m : Z"
  	    " "
  	    " op  g : Y"
  	    " "
  	    " op  f : Y"
  	    "endspec"
  	    ""
  	    ""))
  
negative.code: 	    "spec  "
  	    " type Y"
  	    " type X"
  	    " "
  	    " op  f : Y"
  	    " op  g : Y"
  	    " op  p : Y"
  	    " op  q : X"
  	    " type A.T"
  	    " type B.T"
  	    " "
  	    " op  D.m : X"
  	    " op  E.m : X"
  	    "endspec"
  	    ""
  	    ""))
  