{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"node.state.set(NodeState::Error);"}]}
            node.state.set(NodeState::Error);
            let node = &self.nodes[index];
            trace.push(node.obligation.clone());