More consistent labelling of basic blocks in debug output