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