fn validated_hard_arith_fallback_model(
normalized_constraints: &[BoolExpr],
original_constraints: &[BoolExpr],
) -> Option<BTreeMap<String, U256>>Expand description
Returns a hard-arithmetic fallback model only after validating it against original constraints.