@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState) {
      return factory.fromDfType(DfType.FAIL);
    }
@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState)