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)