feat(tools): Improved data structures for heuristic computation, much faster now.
feat(tools): added relevance analysis

feat(tools): added relevance analysis

feat(tools): Applying relevance for SMT reduction

chore(src): style