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