Bug fix: do not treat opti sides as equations. Numerical abduction refinement: try not eliminating left-hand-sides of `min`/`max` atoms. In numerical abduction and disjunction elimination, drop branches whose premises are contradictory.