Improved logging and inference counting.
Prepare test cases before CUT/CUT bug fixing.
SolutinonListener.onSolution() no longer returns an enum but an Integer. Continuation are just 2 Integer constants. CUT managed by values > 0.