Function constraints_prefer_hard_arith_fallback_first 

pub(crate) fn constraints_prefer_hard_arith_fallback_first(
    cx: &SymCx,
    constraints: &[SymBoolExpr],
) -> bool

Returns whether local hard-arithmetic search should run before asking the solver.