VEXHeavy: Do not add the same guard twice.
VEXHeavy: Do not add the same guard twice.

The exit guard for the default exit has been previously added when
processing the Exit statement, which adds constraints for both branches.
Adding it again at default exist is redundant.

angr/angr,angr/angr,angr/angr