diff --git a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll index 4685ef0cb38..0c16296d610 100644 --- a/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll +++ b/python/ql/src/experimental/dataflow/internal/DataFlowPrivate.qll @@ -158,8 +158,6 @@ predicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo) { // If there is ESSA-flow out of a node `node`, we want flow // both out of `node` and any post-update node of `node`. exists(Node node | - not node.(EssaNode).getVar() instanceof GlobalSsaVariable and - not nodeTo.(EssaNode).getVar() instanceof GlobalSsaVariable and EssaFlow::essaFlowStep(node, nodeTo) and nodeFrom = update(node) )