Function is_numeric_cast_callee 

fn is_numeric_cast_callee(callee: &Expr<'_>) -> bool

uint<N>(x) / int<N>(x) cast callee, for unwrapping integer-round-trip launderings.