- (Some(l @ Extr { which: Minimum, .. }), _) => (l, AlwaysTrue), // min <= x
- (Some(l @ Extr { which: Maximum, .. }), _) => (l, InequalityImpossible), //max <= x
- (_, Some(r @ Extr { which: Minimum, .. })) => (r, InequalityImpossible), // x <= min
- (_, Some(r @ Extr { which: Maximum, .. })) => (r, AlwaysTrue), // x <= max
+ (Some(l @ ExtremeExpr { which: Minimum, .. }), _) => (l, AlwaysTrue), // min <= x
+ (Some(l @ ExtremeExpr { which: Maximum, .. }), _) => (l, InequalityImpossible), //max <= x
+ (_, Some(r @ ExtremeExpr { which: Minimum, .. })) => (r, InequalityImpossible), // x <= min
+ (_, Some(r @ ExtremeExpr { which: Maximum, .. })) => (r, AlwaysTrue), // x <= max