let get_x_direct ~co dpd_type pdg node = let edges = get_x_direct_edges ~co (Some dpd_type) pdg node in List.map (fun e -> (edge_end co e, DpdZone.dpd_zone (G.E.label e))) edges