@Override
    DfaValue makeDfaValue(DfaValueFactory factory, DfaCallArguments arguments) {
      return mySupplier.apply(factory);
    }
@Override
    DfaValue makeDfaValue(DfaValueFactory factory, DfaCallArguments arguments)