{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//!"}]}
//! `process_obligations` method is called, it will invoke its callback
//! `N` is both the root and the only leaf. Each time the
//! with every pending obligation (so that will include `N`, the first