If you have two terms, one of which is constructed by a rewrite rule and originates from the AST, they can be considered non-equal and dynamic rule lookup fails.

Specifically, one term is a StrategoString with another StrategoString as annotation, like “this”{"this_31} and the other term is a WrappedAstNode containing the same term.

Submitted by Nathan Bruning on 29 March 2010 at 10:28

Fixed in 0.4.3 (see Spoofax/77).