after inlining something, do a full rename pass on it.
after inlining something, do a full rename pass on it.

darcs-hash:20060721082920-1a7c6-d7432e0db09c6d737993787d3a852276c286d0c1

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc