import semmle.code.cpp.dataflow.internal.DataFlowImplConsistency::Consistency