Crucible/LLVM: Show (small) terms in equality pre/postconditions
Crucible/LLVM: Show (small) terms in equality pre/postconditions

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