`Rule 12.2`: Unhandled `%=` in range analysis

[lcartey]

Affected rules

• Rule 12.2

Description

Range analysis does not handle %=, which is sometimes used to help restrict the right hand operand for this

Example

x %= 7;
y << x;