Formalized SLL(3) productions of BlockStatement