Function explicit_own_predicates 

fn explicit_own_predicates<'db>(
    interner: DbInterner<'db>,
    predicates: EarlyBinder<'db, impl Iterator<Item = Clause<'db>>>,
) -> GenericPredicates