{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"Some(error.root_obligation.predicate)"}]}
                        Some(error.root_obligation.predicate)
                        error.obligation.predicate,
                            .filter(|predicate| *predicate != error.obligation.predicate),