Member predicate Function::hasAmbiguousReturnType
Holds if this function has an ambiguous return type, meaning that zero or multiple return
types for this function are present in the database (this can occur in build-mode: none).
predicate hasAmbiguousReturnType()