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