method pp_term_access fmt r k =
    Format.fprintf fmt "%a[%a]" self#pp_term_atom r self#pp_term k