liquidhaskell-0.7.0.0: liquid-fixpoint/tests/neg/conj-rhs.fq

constraint:
  env []
  lhs {v:int | true }
  rhs {v:int | (0 = 1) && (1 = 0) }
  id 1
  tag [1]