Only reset the visitedNodes if they are not empty#1646

wmdietl merged 1 commit intomastereisop/checker-framework:masterfrom

resetifemptyeisop/checker-framework:resetifemptyCopy head branch name to clipboard