Member predicate Function::isConstructedFrom
Holds if this function is constructed from f
as a result
of template instantiation. If so, it originates either from a template
function or from a function nested in a template class.
predicate isConstructedFrom(Function f)