blocks (sequences of statements) are now handled correctly w.r.t. dealing with statements that pass control in different ways