{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"self.nodes.iter().any(|node|"}]}
        self.nodes.iter().any(|node| node.state.get() == NodeState::Pending)
    pub fn has_pending_obligations(&self) -> bool {
    }