Programs that contain unreachable code are semantically valid MiniJava
according to the latest clarification of the language specification.