Is it not possible with some term rewriting macros?

Reply via email to