avoid running redundant matcher when applying simplification procedure
avoid running redundant matcher when applying simplification procedure

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