method pp_term_getfield fmt r f =
    Format.fprintf fmt "%a.%a" self#pp_term_atom r self#pp_id f.f_name