Problem in gnatxref?

[meudecc@itcarlow.ie (Chris Meudec)]

Hi all,
gnatxref does not seem to cross reference record field names in record
aggregates. I am using gnat 3.13p.

For example, with 

package gnatxref_pb is 
type Dis is
   record
      Lane        : BOOLEAN;
      Ded          : BOOLEAN;
   end record;            
Out_DiscreteInputs :Dis := Dis'( Lane        =>     true,
                                 Ded         => not true
                               );
end gnatxref_pb;

gnatxref outputs the following:

Ded                                                          Type:
Enum
  Decl:  gnatxref_pb.ads        6:7
Dis                                                          Type:
Record
  Decl:  gnatxref_pb.ads        3:6
  Ref:   gnatxref_pb.ads        9:21      9:28
Lane                                                         Type:
Enum
  Decl:  gnatxref_pb.ads        5:7
Out_DiscreteInputs                                           Type:
Record
  Decl:  gnatxref_pb.ads        9:1
gnatxref_pb                                                  Type:
Unit
  Decl:  gnatxref_pb.ads        1:9

as you can see 'Lane' and 'Ded' are properly xref on declaration but
not on reference in the aggregate.

Why is that? Should I switch to a newer version of gnatxref? Is there
other identifiers that are not xrefed?
How can this problem be fixed?

Best regards,
Chris.