Member predicate Public::SummarizedCallable::hasProvenance

Holds if there exists a summary that applies to this that has provenance provenance.