let export_get_set_field fmt pp_tau f =
  let cn = f.Cil_types.fcomp.Cil_types.cname in 
  let fn = Fol_decl.Tau.tau_of_ctype_logic f.Cil_types.ftype in
  let get_f = get_field f in 
  let set_f = set_field f in
  Format.fprintf fmt "logic %s: %s -> %a @\n" get_f cn pp_tau fn; 
  Format.fprintf fmt "logic %s: %s , %a -> %s @\n" set_f cn pp_tau fn cn