Missing Warnings:
- 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)