BUG-4688: migrate IncludedModuleContext