Test rules for permutativity when created, not when applied
Test rules for permutativity when created, not when applied

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script