DfaValue (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; }