@Override
  public void flushFieldsQualifiedBy(@NotNull Set<DfaValue> qualifiers) {
    flushFields(new QualifierStatusMap(qualifiers, false));
  }
@Override
  public void flushFieldsQualifiedBy(@NotNull Set<DfaValue> qualifiers)