Constraints

Duplicate variable names in the same scope

Unary arithmetic operators