Build a query language into the analysis

[qiyitang71]

Original report by Artho Cyrille (Bitbucket: 557058:d037361a-d6a1-4cae-80e0-7b1940bbc779, GitHub: cyrille-artho).

---

Highlighted events should be combined with a query interface, so properties like ("a must be followed by b") can be checked. Query languages could be inspired by Holzmann's "Cobra" tool or Property Specification Language (PSL).