I already considered about the case you say. Even if new templates instantiated during semantic3a, it would be processed in `TemplateInstance::semantic` (it invokes semantic and semantic2 immediately) and later semantic3 by pushing to `Module::deferred3`.