let mk_field_shift ps f = Fol.Tdata (E2depl (ps, WpFol.Pfield f))