{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":".find(|pred|"}]}
                        .find(|pred| pred.span.contains(obligation_span))
                        // There seems to be no better way to find out which predicate we are in
                        .map(|pred| pred.span)