Disable GNATprove warning for Transfer_Info.Dump_Stats