/**
 * \dir analysis
 * \brief   Data structures and providers for analysis step. Everything that depends on reasoner Clasp API.
 * 
 * \dir aux
 * \brief   Auxiliary files
 * 
 * \dir compilation
 * \brief   Code related to compilation step. Everything that depends on compiler toolchain LLVM internals
 * 
 * \dir pass
 * \brief   Various passes to gather data and perforrm analysis and compilation
 * 
 * \dir query
 * \brief   Code for exrtacting solutions from reasoner output and influence compilation
 */