The CI failed due to the SVF upstream removed setICFGNode in ValVar class https://github.com/SVF-tools/SVF/commit/53bfeb68ba248d77f710496d6715d3c3b2c2281d https://github.com/SVF-tools/SVF-GraphDB/actions/runs/23372974159
The CI failed due to the SVF upstream removed setICFGNode in ValVar class
SVF-tools/SVF@53bfeb6
https://github.com/SVF-tools/SVF-GraphDB/actions/runs/23372974159