Check post condition while simulating (at the very end).
Check post condition while simulating (at the very end).

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