-* dead assignments (int x = 5; x = bla(); -> dead assignment at x = 5;)
-* unused label
-* 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)