Function overflowing_nz 

fn overflowing_nz(n: &str) -> bool

overflowing_abs / overflowing_neg return (result, overflow) where the result field (0) is non-zero whenever the operand is non-zero. Model the field 0 as non-zero (ReturnTupleFieldNonZero { field: 0 }).