Introduced a SourceModule.isEncapsulatedModule() method, so that
automatic globalization of modules only occurs for source modules that
are actually encapsulated in the first place.