added support for new top-level module SemanticAnalyser to ModuleProvider