{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
                // `processor.process_obligation` can modify the predicate within
                // `node.obligation`, and that predicate is the key used for