let shift loc _te i =
    match loc with
      | L0depl (loc, Pidx j) -> L0depl (loc,Pidx (F.e_iop Formula.Iadd j i))
      | L0shift (loc, j) -> L0shift (loc,F.e_iop Formula.Iadd j i)
      | _ -> L0shift(loc,i)