Function simple_upper_bound_violation_value 

fn simple_upper_bound_violation_value(
    predicate: &NumericPredicate<'_>,
) -> Option<i128>

Match x < C, x <= C, and their constant-on-left equivalents.