added support for CompM types during normalization with normSMTProp
added support for CompM types during normalization with normSMTProp

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