Function flatten_answer_tree 

pub fn flatten_answer_tree<I: Interner>(
    interner: I,
    predicate: TraitClause<I>,
    cond: Condition<Region<I>, I::Ty>,
) -> ThinVec<I::Predicate>

Flatten the Condition tree into a conjunction of predicates.