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)