{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":".filter_map(|obligation|"}]}
            .filter_map(|obligation| match obligation.value.value.goal.data(Interner) {
            .iter()
                GoalData::DomainGoal(DomainGoal::Holds(clause)) => {