new feature: completion for narrowing by predicate
no summary available