Numerical abduction bug fix: check implication if using weakening transformations (2b), do not use them by default.