Function expr_contains_symbolic_hash 

pub(crate) fn expr_contains_symbolic_hash(expr: &Expr) -> bool

Returns whether the expression contains symbolic hash variables that local search should avoid.