#43 Matching on parent types with additional removed grandchild

[Peter Klügl]

Matching on parent types with additional removed grandchilds works only for annotations that weren't covered by the grandchilds.

Example:
DECLARE WeightedItem TreeNode, TreeLeaf;
DECLARE TreeNode CurrentRoot;

... some MARK(TreeNode) and MARK(TreeLeaf)
... some MARK(CurrentNode) additionally on TreeNodes
... some UNMARK(CurrentNode)

then...

WeightedItem matches only on FSs that weren't covered by the CurrentNode.

Solution:

Match explicitly on the leaf types TreeNode and TreeLeaf instead of WeightedItem.