Quando gli errori sono solo di logica è un po' difficile che uno strumento riesca a individuarli