let shift l ty i =
    match l with
      | Mloc l -> Mloc (M.shift l ty i)
      | Path _ -> Wp_parameters.fatal "Shift of a functional variable"