Function bool_upper_bound_usize 

pub(crate) fn bool_upper_bound_usize(
    condition: &BoolExpr,
    expr: &Expr,
) -> Option<usize>

Returns the bool_upper_bound_usize symbolic expression helper result.