Friendlier error message for unclosed middle basic block, check for
unused labels in phi node.