Predicate MakeImpl::Impl::MkStage::Stage::storeStepCand
Holds if this stage makes use of a store step of content c from
node1 to node2.
contentType and containerType are the types of the content being
stored, and the type of the resulting container, respectively.
Import path
import codeql.dataflow.internal.DataFlowImpl