Support distinct() in STP solver
Add known STP issues
Allow Solver implementations to manage memory
Cache MathSAT5 terms
Add DfsPruneChecker::check(const Tracer&)

Use only a single solver instance for sequential code analysis.