liquidhaskell-0.7.0.0: liquid-fixpoint/tests/pos/unexpected-ge.fq

qualif Auto(v : int, x : int): (v = (if (x > 0) then 0 else 0))