max expr size  =    4
  |- on ineqs  =    3
  |- on conds  =    3
max  #-tests   =  500
min  #-tests   =   25  (to consider p ==> q true)
max  #-vars    =    2  (for inequational and conditional laws)

_ :: EqButNotOrd
C0 :: EqButNotOrd
id :: EqButNotOrd -> EqButNotOrd

Warning: no Ord instance for EqButNotOrd, inequations of this type will not be considered