(define f::(-> int int))
(define x::int)
(define y::int)

(assert (/= (f (+ x y 1)) (f 3)))
(assert (= x 1))
(assert (= y 1))
(check)