Member predicate Variable::isConstructedFrom
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)