{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"{"}]}
                {
                    || !processor.needs_process_obligation(&node.obligation)
                    index += 1;