Adding a simple expr of form [~] x + y ; where a, y can eb variable or integer.
Added bitwise_negate to BitVector.