Avoid inserting reflexive rules into 'Simpset's.
Avoid inserting reflexive rules into 'Simpset's.

The fix is due to Brian Huffman; I just typed it in.  This eliminates
the noisy "skipping reflexive rule" messages seen when running
examples.

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