let add_node_to_select glob to_select z_opt node = PdgMarks.add_to_select to_select (PdgMarks.mk_select_node ~z_opt node) (BoolMark.mk glob)