Bug Fix: computing eps honors shared disequalities

Previously, we did not care about shared disequalities when
computing epsilon.  Previously, in a situations where the solver
has the pre-model a != b, a = 1+eps, b=2, it could choose eps=1
which lead to assertion errors and wrong models afterwards.
Check for TerminationRequest in Clausifier
Fix warnings.
Fixed some PMD warnings.
Fixed a crash in the delta debugger.

The delta debugger made a wrong assumption while removing neutral elements.
This lead to a crash when for example an "and" could not be replaced by "true",
but had to remain.  Now, I try to replace it by a binary "and" with parameters
"true" and "true".
Fixed bug in DeltaDebugger.

removeNeutrals was broken in the delta debugger for numeric terms as well.  Now
we replace an empty sum by the sum of two zeros.
Bug Fix: Fix computation of mCount
Smaller LA clauses.

We now check on a set literal if its negation was already propagated
and in that case just return a conflict clause using getUnitClause.
Also when generating a clause, we use the annotation, which already
removes literals that go in positively and negatively with the same
amount.
Build deltadebugger (patch from array branch)
Merge branch 'master' into array