preparing for commutativity analysis