include "Basic_2/substitution/lift.ma".
-(* RELOCATION ***************************************************************)
+(* BASIC TERM RELOCATION ****************************************************)
(* Main properies ***********************************************************)