let field_shift ps f_name is_union = let sh_name = if is_union then "shift_field" else "shift_ufield" in Fol.Tapp (sh_name, [ps; Fol.Tapp (f_name, [])])