Now requiring empty BlockStatement case to be preceded by at least one
BlockStatement. Distinction between empty blocks and terminating block
statement.
Fixed remaining failing tests