Keep the name of basic blocks for better debugging