private void processAnchor(@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);
  }
private void processAnchor(@NotNull DataflowResult dfr,
                             @NotNull JavaDfaAnchor anchor,
                             @NotNull ProblemsHolder holder)