anchor.diff:      fa(x : Nat, y : Nat, z : Nat) 
        eq_mod10(x, y) && eq_mod10(y, z) => eq_mod10(x, z)
   endspec
  +
   ")
   
    ("Bug 0093 : No check on clashing defs in colimit"
  
positive.code: ")
  
   ("Bug 0067 : Signature constraints in spec morphism are not checked"
    :show   "Bug_0067/check_signature#M" 
    :output "??")
  
   ("Bug 0068 : Even numbers can be refined to odd numbers"
    :show   "Bug_0068/EvenToOdd#O" 
    :output "??")
  
   ("Bug 0069 : Translate from base"
    :show   "Bug_0069/TranslateFromBase#M" 
  
negative.code: ;;; Elaborating spec at $SPECWARE/Library/ProverBase/System
  ;;; Elaborating spec at $SPECWARE/Library/Base/ProverRewrite
  ;;; Elaborating spec at $SPECWARE/Library/Base/ProverBase
  ShouldBeProvable: Conjecture change is Proved! using Snark.
      Snark Log file: $TESTDIR/Bug_0043/Both/Change/ShouldBeProvable.log
  
  
  