> O.k. But, no harm in having a unified simplifyStatements (that drops > unused statements) for both blocks and globals. Sounds ok. If it passes the regressions, I'm happy. :-)