let print_sel_marks_list fmt to_select =
let print_sel (s, m) = match s with
| PdgMarks.SelNode (n, z) -> print_node_mark fmt n z m
| PdgMarks.SelIn l ->
Format.fprintf fmt "(UndefIn %a:%a)"
Locations.Zone.pretty l Marks.pretty_mark m
in List.iter print_sel to_select