For an overview of this library, along with tutorials and examples, see CodeQL for C/C++
Holds if this variable is constructed from v as a result
of template instantiation. If so, it originates either from a template
variable or from a variable nested in a template class.
predicate isConstructedFrom(Variable v)