Numerical abduction heuristic: eliminate constants to get a more general answer first.