added a simpler test for cause of failing commutativity