Test and implementation for validating non negative operands invariant