(Module
(Empty)
(Statements
(QualifiedModuleIdentifier
{ (ModuleIdentifier)
->(ModuleIdentifier) }
->(ModuleIdentifier) })
(Statements)))