let
unreachable_nodes cfg = cfg.unreachables