Fix internal functors used for inherited predicate declaration and definition lookups for prototypes, although these functors are currently not used