Update regression test for #641 to indicate expected failure.
Update regression test for #641 to indicate expected failure.

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