@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState) {
      return DfaUtil.boxUnbox(factory.fromDfType(DfTypes.booleanValue(myValue)), callState.myReturnValue.getDfType());
    }
@Override
    public DfaValue getDfaValue(DfaValueFactory factory, DfaCallState callState)