let unreachable_nodes cfg = cfg.unreachables