BitVecAnd Description Perform bitwise AND operation between two bitvectors. Result is stored in the first bitvector.