(* RELOCATING SUBSTITUTION **************************************************)
(* Policy: depth (level) metavariables: d, e (as for lift) *)
(* RELOCATING SUBSTITUTION **************************************************)
(* Policy: depth (level) metavariables: d, e (as for lift) *)