changed the handling for normalizing multiFixM so that the function being called is not unfolded during normalization; also added a special case for normalizing multiArgFixM
changed the handling for normalizing multiFixM so that the function being called is not unfolded during normalization; also added a special case for normalizing multiArgFixM

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