void (@NotNull PsiFile file) { int prevNumAnnotationsAdded; int pass = 0; do { final NullityInferrerVisitor visitor = new NullityInferrerVisitor(); prevNumAnnotationsAdded = numAnnotationsAdded; file.accept(visitor); pass++; } while (prevNumAnnotationsAdded < numAnnotationsAdded && pass < MAX_PASSES); }