let
compare =
SlicingInternals
.compare_pdg_mark