[Ada] Update output of verbose error summary