import semmle.python.dataflow.new.internal.DataFlowImplConsistency::Consistency