Some operations may generate invalid code or incompatible results. For example: - lt=0 for the uint8 type - len=5 for an array with 10 elements - using len with max or min - and so on The idea is to have a custom linter that warns about these invalid operations.