Bug fixes in numerical pruning. Small optimization in numerical solver. Bug fixes in numerical disjunction elimination: were too many suboptis.