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