Changes in learning from unfounded sets, now we do not add aux variables into the loop formula.
When possible we create clauses instead of aggregates in algorithm OLL.
Sort of assumptions AND in core-based algorithms.
Removed pool of clauses in Solver.
Fixed sort.