record basic block deletion events