liquid-fixpoint-0.4.0.0: tests/pos/unexpected-ge.fq

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