/prog/ challenge

Write a macro that, given a term of code, transforms all the calls to the function FOO in that term, and only those calls, into calls to function BAR with the same arguments.
Language: Common Lisp or Scheme.

>>24
sexper is fine for code walking. But what you want is a proof that *anus is never changed from its constant value, which entails much more than just code walking alone.