void (@NotNull DataflowResult dfr, @NotNull JavaDfaAnchor anchor, @NotNull ProblemsHolder holder) { DfType dfType; if (IGNORE_ASSERT_STATEMENTS) { dfType = dfr.getDfTypeNoAssertions(anchor); } else { dfType = dfr.getDfType(anchor); } processAnchor(dfType, anchor, holder); }