Catch Me If You Can: Testing the reduction of compound lotteries axiom in a tax compliance experiment