let add_node_to_select glob to_select z_opt node = PdgMarks.add_node_to_select to_select (node, z_opt) (BoolMark.mk glob)