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