Predicate dictStoreStep
Data flows from an element of a dictionary to the dictionary at a specific key.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate dictStoreStep(CfgNode nodeFrom, DictionaryElementContent c, Node nodeTo)