Delete unused assignments (in the top-level block of a function)
Escape strings in developer output
Selective removal of unused variables in S1_Set statements. Selective removal of unused results. Fix compilation with gcc 4.7.