Create BitVec rotate left (rotateleft) expression. The result expression is rotated left rotation times.
rotateleft
for the rotation by a known number of bits.