Adapt to removal of Verifier.LLVM.Simulator.callDefine_ (cf. bdf19ea916ed698106f8386c8835d2de97b3bc65)
Adapt to removal of Verifier.LLVM.Simulator.callDefine_
(cf. bdf19ea916ed698106f8386c8835d2de97b3bc65)

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