Show both expected and actual values on equality preconditions
Show both expected and actual values on equality preconditions

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