let field_access s f_name is_union = 
  let acc_name = if is_union then "acc_field" else "acc_ufield" in
    Fol.Tapp (acc_name, [s; Fol.Tapp (f_name, [])])