Member predicate Class::isConstructedFrom
Holds if this class, struct or union is constructed from another class as a result of template instantiation. It originates either from a class template or from a class nested in a class template.
predicate isConstructedFrom(Class c)