caledon-2.0.0.0: examples/circtype_bad.ncc

defn a : b av -> prop
   | av = a bv

defn b  : a bv -> prop
   | bv = b av