first version of the commutativity analysis