let field_update s f_name is_union v = let upd_name = if is_union then "upd_field" else "upd_ufield" in Fol.Tapp(upd_name, [s; Fol.Tapp (f_name, []); v])