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.
5 jobs for safeDot-fix-edgecase in 9 minutes and 49 seconds (queued for 2 seconds)
latest