Implement missing case in LLVM `matchArg` function for array values.
Implement missing case in LLVM `matchArg` function for array values.

Fixes #701.

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