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