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)