import javascript
import semmle.javascript.dataflow.internal.DataFlowImplConsistency::Consistency