Searches a list of terms for an instance of fnc. Returns t or nil.
(include-fnc-subterms subterms fnc &optional arg-size) → *
