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