Increased quality of pico_dns_client code

- Abstract interpretation annotations taken into account