semmle/code/cpp/ASTConsistency.ql