@Override
  public boolean applyCondition(@NotNull DfaCondition dfaCond) {
    if (!(dfaCond instanceof DfaRelation)) {
      return dfaCond != DfaCondition.getFalse();
    }
    return applyRelationCondition((DfaRelation)dfaCond);
  }
@Override
  public boolean applyCondition(@NotNull DfaCondition dfaCond)