Fix a bug that prevented the rewriter from matching patterns involving tuple selectors.
Fix a bug that prevented the rewriter from matching patterns involving tuple selectors.

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