Fix type of arrays in Crucible LLVM analysis
Fix type of arrays in Crucible LLVM analysis

The infamous use of an unprimed variable instead of a primed one.

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