Add printing of basic block names