let
select_pdg_elements proj pdg to_select =
ProjBoolMarks
.mark_and_propagate proj pdg to_select