@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState) {
      return merge(callState.myReturnValue, factory.fromDfType(DfTypes.NOT_NULL_OBJECT), callState.myMemoryState);
    }
@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState)