($ a 1)
(set! a 2)
(assert= 2 a )
($ (b x) (+ x 1))
($ (c x) (* x 2))
($ d b)
(assert= 3 (d 2))
(set! d c)
(assert= 4 (d 2))