This is used to add address targets from guard branches if they are not already in the address table. A specific case label for the block can also be provided. The new target is appended directly to the end of the table. \param bl is the given basic-block \param lab is the case label for the block
source not stored for this graph (policy: none)