Check for an explicit label that has been registered with the basic block. Otherwise, construct a generic label based on the entry address of the block. Emit the label as a single token. \param bl is the given block
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected