let add_nodes_and_undef_to_select glob 
      (ctrl_nodes, decl_nodes, (data_nodes, undef)) to_select =
  let to_select =
    List.fold_left
      (fun s n -> add_node_to_select glob s None n) to_select ctrl_nodes
  in
  let to_select =
    List.fold_left
      (fun s n -> add_node_to_select glob s None n) to_select decl_nodes
  in
  let to_select =
    List.fold_left
      (fun s (n,z_opt) -> add_node_to_select glob s z_opt n) to_select data_nodes
  in
  let to_select =
    PdgMarks.add_undef_in_to_select to_select undef (BoolMark.mk glob)
  in to_select