Fix type in commutativity detection. This bug only affected commutativity checking when using reordering (as opposed to the commutativity spec).
Fix type in commutativity detection. This bug only affected commutativity checking when using reordering (as opposed to the commutativity spec).

jmiserez/sts,jmiserez/sts