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

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