UNSTABLE. Needed to save temporary result. DO NOT USE
Support of binary and unary operators for saturated int was added.
Support of Pre/Post Inc/Dec was added.