Can not match on annotations

[BertLisser]

Created 2010-01-22 by [email protected] assigned to [email protected]

We can not write something like:

rule myRule a()[@Length=int x] => a()[@Length=x + 1]

which means that a rewrite rule can never have access to the annotations on the outermost node... this is real blocker for Bert's implementation of the Box laws.