Remove unused imports, don't create arrays of length 1
Remove unused imports, don't create arrays of length 1

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