incorporated small tweak in saw-core to only unfold idents from the Cryptol module
incorporated small tweak in saw-core to only unfold idents from the Cryptol module

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