let mk_index_shift p _t i = Fol.Tdata (E2depl (p, WpFol.Pidx i))