Function add_overflow_check 

pub(crate) fn add_overflow_check(left: &Expr, right: &Expr) -> bool

Returns whether left > left + increment is an impossible overflow check.