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