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"