Default join implementation
Added 'consequent items' that designate deterministic consequences and are not required to be equal for default-joining.
Updated QSAT and SAT encodings for the new default join
Added support for currentCost/1. Removed count/1. Added some ASP checks.
Counting and enumerating only optimal solutions
Added debugging modules