pub(crate) fn bool_contains_udiv(expr: &BoolExpr) -> bool
Returns whether a boolean expression syntactically contains unsigned division.