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])