Description
While working on PR #245, I noticed an inconsistencies in the examples in Section 18.3.3 Examples of Mapped Graph Patterns.
Some of the examples provide two versions of the resulting expressions: the first one is before applying the simplification step and the second one is after applying the simplification step. Yet, other examples provide only one version, which may lead to confusion because it gives the impression that the simplification step does not need to be applied in these cases. I propose we fix these examples such that they all have the two versions.
There is a second inconsistency: while most of these examples use the symbol Z to denote the empty BGP in their version before the simplification step, one of the examples (the one called "Pattern involving BIND, with simplification step") uses an actual empty set ({}) instead. This should be replaced by Z.