This is 3. out of 3 changes to the CFG pass that aims to make graphs more readable and contain more information.
This change adds separators for basic block names, which makes it easier to find a basic block based on its name and separates it from the code. Currently there is also a chance that the basic block label will be present twice, that is in case the basic block has explicit numbering, this change does not contain this bug.
If all 3 changes will be accepted the final graphs should look as in the attached image:
Please, avoid unrelated whiteline changes