BitVecNot Description Perform bitwise NOT operation on a bitvector. Result is stored in the first bitvector.