Method add_node

language/move-prover/bytecode/src/borrow_analysis.rs:194–196

(&mut self, node: BorrowNode)

    }

    fn add_node(&mut self, node: BorrowNode) {
        self.live_nodes.insert(node);
    }

    fn remove_node(&mut self, node: &BorrowNode) {
        self.live_nodes.remove(node);