The intended policy is that behavior B does not use the result from behavior G
if G produces an integer overflow.
An Integer Overflow Vulnerability occurs when behavior G produces an integer
overflow, and behavior B uses the result.