let compare = SlicingInternals.compare_pdg_mark