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)

Comienza leyendo el artículo aún no marcado como completado «Batch Alias Analysis» e inspeccionando los grafos serializados en core/src/test/resources/static_analysis. Compara los datos y el formato de consulta existentes de Demand-driven Alias Analysis con la fuente solicitada. Se considera terminado cuando se hayan añadido los grafos y las gramáticas del artículo en el formato de conjunto de datos establecido en el repositorio.

Escrito por el modelo de indexación a partir del texto del issue.