-include "delayed_updating/substitution/lift_gen_eq.ma".
-include "ground/relocation/tr_id_pap.ma".
-include "ground/relocation/tr_id_tls.ma".
+include "delayed_updating/substitution/lift_path.ma".
+include "delayed_updating/substitution/lift_rmap_id.ma".
+include "delayed_updating/substitution/prelift_label_id.ma".