@@ -529,7 +529,7 @@ predicate simpleLocalFlowStepForTypetracking(Node nodeFrom, Node nodeTo) {
 }
 
 private predicate summaryLocalStep(Node nodeFrom, Node nodeTo, string model) {
-  FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom.(FlowSummaryNode).getSummaryNode(),
+  FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom,
     nodeTo.(FlowSummaryNode).getSummaryNode(), true, model)
 }
 
 
@@ -20,6 +20,8 @@ module Input implements InputSig<Location, DataFlowImplSpecific::PythonDataFlow>
 
   class SinkBase = Void;
 
+  class FlowSummaryCallBase = Void;
+
   predicate callableFromSource(SummarizedCallableBase c) { none() }
 
   ArgumentPosition callbackSelfParameterPosition() { result.isLambdaSelf() }
@@ -109,6 +111,10 @@ module Input implements InputSig<Location, DataFlowImplSpecific::PythonDataFlow>
 private import Make<Location, DataFlowImplSpecific::PythonDataFlow, Input> as Impl
 
 private module StepsInput implements Impl::Private::StepsInputSig {
+  Impl::Private::SummaryNode getSummaryNode(Node n) {
+    result = n.(FlowSummaryNode).getSummaryNode()
+  }
+
   overlay[global]
   DataFlowCall getACall(Public::SummarizedCallable sc) {
     result =
 
@@ -80,10 +80,8 @@ private module Cached {
     ) and
     model = ""
     or
-    FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom
-          .(DataFlowPrivate::FlowSummaryNode)
-          .getSummaryNode(), nodeTo.(DataFlowPrivate::FlowSummaryNode).getSummaryNode(), false,
-      model)
+    FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom,
+      nodeTo.(DataFlowPrivate::FlowSummaryNode).getSummaryNode(), false, model)
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -529,7 +529,7 @@ predicate simpleLocalFlowStepForTypetracking(Node nodeFrom, Node nodeTo) {`
`529`	`529`	`}`
`530`	`530`
`531`	`531`	`private predicate summaryLocalStep(Node nodeFrom, Node nodeTo, string model) {`
`532`		`- FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom.(FlowSummaryNode).getSummaryNode(),`
	`532`	`+ FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom,`
`533`	`533`	`nodeTo.(FlowSummaryNode).getSummaryNode(), true, model)`
`534`	`534`	`}`
`535`	`535`
Original file line number	Diff line number	Diff line change
`@@ -80,10 +80,8 @@ private module Cached {`
`80`	`80`	`) and`
`81`	`81`	`model = ""`
`82`	`82`	`or`
`83`		`- FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom`
`84`		`- .(DataFlowPrivate::FlowSummaryNode)`
`85`		`- .getSummaryNode(), nodeTo.(DataFlowPrivate::FlowSummaryNode).getSummaryNode(), false,`
`86`		`- model)`
	`83`	`+ FlowSummaryImpl::Private::Steps::summaryLocalStep(nodeFrom,`
	`84`	`+ nodeTo.(DataFlowPrivate::FlowSummaryNode).getSummaryNode(), false, model)`
`87`	`85`	`}`
`88`	`86`	`}`
`89`	`87`