Implementation of Consistency05 does not find names in subzone

[matsduf]

Testing ".fr" results in error in Consistency05:

$ zonemaster-cli --show_module --raw --test consistency/consistency05 fr
18.80 ERROR CONSISTENCY CONSISTENCY:IN_BAILIWICK_ADDR_MISMATCH parent_addresses=d.nic.fr./194.0.9.1; d.nic.fr./2001:678:c::1; e.ext.nic.fr./193.176.144.22; e.ext.nic.fr./2a00:d78:0:102:193:176:144:22; f.ext.nic.fr./194.146.106.46; f.ext.nic.fr./2001:67c:1010:11::53; g.ext.nic.fr./194.0.36.1; g.ext.nic.fr./2001:678:4c::1; zone_addresses=

Zonemaster looks for the address records of d.nic.fr, e.ext.nic.fr, f.ext.nic.fr and g.ext.nic.fr in the .fr zone, but they are not included in the zone (as authoritative data) since nic.fr is delegated to another set of nameservers.

Consistency05 says somewhere in the middle of the ordered description the following which is meant to cover that situation:

      3. Or, if the response is a delegation (referral) to a 
         sub-zone of *Child Zone*, then:
         1. Copy the adress query (A, AAAA) that gave the referral
            response.
         2. Set the RD flag in the copied query (from unset to set).
         3. Do a [DNS Lookup][terminology] of the the query.
         4. If the lookup returns the relevant address record or records,
            A for A record query and AAAA for AAAA record query, and 
            with the same owner name as in the query (i.e. CNAME should
            not be followed), then extract those and add to 
            *Address Records From Child* with name and IP 
            address or addresses.

The implementation of Consistency05 does not seem to follow these steps.