Debugging RandomReAuctionBidder