Fixed segmentation fault when a CFGBlock has NULL successor.