let pp_axiomdef_descr fmt a =
      if a.a_memory <> [] then
        begin
          Format.fprintf fmt "Memory parameters: " ;
          UserDefinition.pp_userformals fmt a.a_memory ;
        end