Predicate MakeConsistency::speculativeStepAlreadyHasModel
Import path
import codeql.dataflow.internal.DataFlowImplConsistencypredicate speculativeStepAlreadyHasModel(Node n1, Node n2, string model)import codeql.dataflow.internal.DataFlowImplConsistencypredicate speculativeStepAlreadyHasModel(Node n1, Node n2, string model)