+- dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
+- check switches for all enums values
+- catch the if(k = b) cases, maybe require all assignments to be in parentheses
+ (but some few exceptions like toplevel, nested assignments)