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