Fix ExactConstraintSatisfaction::safeDot:

In an edge case, it could happen that k is negative (even INT_MIN), leading to an endless (modulo safebreak) loop.

Simplify the code, eliminating some dangerous manual edge case handling.