(define f::(-> int int))
(define g::(-> int int))
(define i::int)
(define x::int)
(define j::int)
(define i2::int)

(assert (= (update f (i) x)
           (update f (j) x)))
(assert (= f g))
(assert (/= (g i) (f j)))
(check)