let mk_index_shift  e _t i = Fol.Tdata (E1depl (e, WpFol.Pidx i))