import cpp

from Element e, string s, Type arg
where
  s = "ClassTemplateInstantiation" and
  arg = e.(ClassTemplateInstantiation).getATemplateArgument()
  or
  s = "FunctionTemplateInstantiation" and
  arg = e.(FunctionTemplateInstantiation).getATemplateArgument()
select e, s, arg