pub fn expr_proven_raw_int_op(e: &Expr<'_>) -> bool
Was this exact op node proven in-range by its constructing pass?