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