matchPointsToBitfieldValue: replace bvLhsr/bvTrunc with a single bvSelect
matchPointsToBitfieldValue: replace bvLhsr/bvTrunc with a single bvSelect

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