String () { return "filesConsidered=" + filesConsidered + ", contextsConsidered=" + contextsConsidered + ", sureExprsAfterLightCheck=" + sureExprsAfterLightCheck + ", exprsToHeavyCheck=" + exprsToHeavyCheck + ", filesLookedInside=" + filesLookedInside.size(); }