{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":".filter(|node|"}]}
            .filter(|node| node.state.get() == NodeState::Pending)
            .iter()
            .map(|node| f(&node.obligation))