Check that the predicate names a function