はいじにっくのほうだが、マクロによって生成されたシンボルにユニークなキーを付加してどうにかした。

(m1 a) → (m2 a x)
(m2 a b) → (let ((a 100)) b)
というマクロにおいて、

(m1 x) → (m2-1 x-0 x-1) → (let ((x-0 100)) x-1)