BVS - Branch on Overflow Set
============================