The rule transformation part following the declarations consists again of a sequence of predicates. Here they specify edge additions and deletions. Edge additions are performed by non-negated simple predicates and may refer to new nodes as well as to old nodes. Edge deletions are performed by negated simple predicates and can of course only refer to items from the rule test.
