Extend numerical abduction inequality candidate generation to pivoting on a constant term in addition to pivoting on a variable. More expressive numerical abduction heuristic.