More modifications for overflow handling.
Added BranchOnOverflow, BranchOnNoOverflow, RetOnOverflow, RetOnNoOverflow.