(define f1::(-> int int)) (define f2::(-> int int)) (define f3::(-> int int)) (define i1::int) (define i2::int) (define i3::int) (define v1::int) (define v2::int) (define v3::int) (assert (= (update (update f2 (i2) v2) (i1) v1) (update f3 (i3) v3))) (assert (= i2 i3)) ;; (assert (/= i1 i3)) (assert (/= v2 v3)) (check)