updated CruUtil.hs to handle a recent change to Crucible
updated CruUtil.hs to handle a recent change to Crucible

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