https://mail.cs.uu.nl/pipermail/stratego-bugs/2003-December/000214.html

Submitted on 18 March 2004 at 10:32

STR-12, adam:
This is indeed dynamic-rules specific: when lifting, a rule with @ in its LHS, produces a dummified term like: `[]@t’ which is used for storing and looking up bindings.

Simply using term-projection `try(?As(_,))’ on the LHS is probably not sufficient, since the LHS may also contain As’s deeper inside.

Normal strategies `?s @ t @ (1,2)’ work fine.

STR-12, visser:
turned out that this was easy to fix; just a matter of filtering out
_@ expressions before dummifying the lhs