Checking Bounds of Integers
Propagating Bounds through Add’s and Subtract’s
Propagating Bounds through Logical Operations