Fix to including implied inequalities in evaluation of numerical abduction candidates. Optionally, filter out less general numerical abduction candidates.