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