Slim Trabelsi

The current version of the Discoveries counter is displaying the total number of discoveries including the false positive ones. This counter should be improved to display the total real leaks...