codeql
codeql copied to clipboard
CFG: Add two more consistency checks