Currently, for unsigned integer `a`, Dredd allow the mutation: ``` a != 0 ``` to ``` a > 0 ``` Both expressions are equivalent. Since Dredd has the type information when traversing the AST, it should be possible to disallow such mutation.