@NotNull
  public DfaCondition makeCondition(DfaValueFactory factory, DfaCallArguments arguments) {
    return DfaCondition.getUnknown();
  }
@NotNull
  public DfaCondition makeCondition(DfaValueFactory factory, DfaCallArguments arguments)