Option to turn off numerical abduction for problems that are too hard. Coalescing constraint branches for verification of numerical negative constraints.
Better pruning of numerical postconditions.