pub(crate) fn bool_contains_symbolic_hash(expr: &BoolExpr) -> bool
Returns whether the boolean expression contains symbolic hash variables.