added implies__eq rule as a temporary fix, to do what scDefRewriteRules will eventually handle...
added implies__eq rule as a temporary fix, to do what scDefRewriteRules will eventually handle...

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