Bug fixes in numerical constraint generalization (aka. disjunction elimination). Experimental (off by default, no tests) numerical abductive constraint generalization extension.