Add static code analysis cases

- [ ] Add data (both graphs and grammars) from [Jyothi Vedurada. Batch Alias Analysis](http://www.cse.iitm.ac.in/~krishna/preprints/ase19/ase19.pdf)
- [x] Add data and query form ["Demand-driven Alias Analysis for C" (Xin Zheng and Radu Rugina)](https://dl.acm.org/citation.cfm?doid=1328438.1328464). We use data from this article in [our work](https://github.com/YaccConstructor/articles/blob/master/2018/Scala_ICFP/paper/combinators_for_graph_querying.pdf). Ilya Kirillov can help to extract graphs from C code. [A number of serialized graphs.](https://github.com/YaccConstructor/Meerkat/tree/master/core/src/test/resources/static_analysis)

Beginne damit, das noch nicht abgehakte Paper „Batch Alias Analysis“ zu lesen und die serialisierten Graphen in core/src/test/resources/static_analysis zu untersuchen. Vergleiche die vorhandenen Daten und das Abfrageformat von Demand-driven Alias Analysis mit der angeforderten Quelle. Als erledigt gilt die Aufgabe, wenn die Graphen und Grammatiken des Papers im im Repository etablierten Datensatzformat hinzugefügt wurden.

Vom Indexierungsmodell aus dem Issue-Text verfasst.