Function is_numeric_arith 

pub fn is_numeric_arith(name: &str) -> bool

Numeric operations with no precise effect model — these fall back to an unconstrained result (eff_none). unchecked_add/mul and checked_add/mul are deliberately absent: REGISTRY matches them earlier with the more precise int_add/int_mul/int_checked_* rows.