SAWScript interpreter: connect constant (==) to SAWCore constant bvEq
SAWScript interpreter: connect constant (==) to SAWCore constant bvEq

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