Can not match on annotations

[BertLisser]

Created 2010-01-22 by jurgenv@cwi.nl assigned to jurgenv@cwi.nl

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.