+* 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)
+
+Spec-Status:
+(only test datasets tried yet)
+164.gzip: works
+175.vpr: works
+176.gcc: not ok
+181.mcf: works
+186.crafty: works (~though an asm is replaced with a stub)
+253.perlbmk: not ok
+254.gap: not ok
+255.vortex: works
+256.bzip2: works
+300.twolf: works