fixed a bug in sorted_insert_spec: need to use signed instead of unsigned comparison
fixed a bug in sorted_insert_spec: need to use signed instead of unsigned comparison

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