semmle/code/cpp/ir/IRConsistency.ql