semmle/code/cpp/ir/implementation/raw/IRConsistency.ql