I'm wondering whether new members can be added during this phase (especially inside TemplateInstance::semantic3) which would need some invocation of semantic/semantic2/semantic3.