@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState) {
      if (callState.myCallArguments.myArguments != null && callState.myCallArguments.myArguments.length > myParamNumber) {
        DfaValue argument = callState.myCallArguments.myArguments[myParamNumber];
        return merge(callState.myReturnValue, argument, callState.myMemoryState);
      }
      return callState.myReturnValue;
    }
@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState)