Description
The set of available operators for symbolic expressions is incomplete. LiSA should support:

• Bitwise arithmetics
• different semantics for arithmetic operations depending on the size of the arguments (32-bit-sum, 34-bit-sum, ...)
• ...

Moreover, the javadoc of the operators should accurately describe the expected input and output types of the operators.