let fterm_of_shift_field ps f =
      let tf = fterm_of_field f in
      if f.fcomp.cstruct
      then Hlib.shift_field ps tf
      else Hlib.shift_ufield ps tf