Characteristic predicate TemplateFunction :: TemplateFunction
TemplateFunction
(
)