Function explicit_own_predicates 

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