Fix crash when there are bv literals on the trace returned by SI#162

akashlal wants to merge 1 commit intomasterboogie-org/corral:masterfrom

fix-bv-literalsboogie-org/corral:fix-bv-literalsCopy head branch name to clipboard