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