@@ -1897,7 +1897,7 @@ module Make<
           not this.isExit(_, _) and
           (
             exists(SummaryComponentStack stack |
-              state_.isSourceOutputState(_, stack, _, _) and
+              state_.isSinkInputState(_, stack, _, _) and
               stack.head() instanceof TContentSummaryComponent
             )
             or
@@ -2412,10 +2412,10 @@ module Make<
               )
             )
             or
-            sourceExitStep(StepsInput::getSummaryNode(pred), succ, false)
-            or
-            sinkEntryStep(pred, StepsInput::getSummaryNode(succ), false)
+            sourceExitStep(predSummary, succ, false)
           )
+          or
+          sinkEntryStep(pred, StepsInput::getSummaryNode(succ), false)
         }
 
         /**
Original file line number	Diff line number	Diff line change
`@@ -1897,7 +1897,7 @@ module Make<`
`1897`	`1897`	`not this.isExit(_, _) and`
`1898`	`1898`	`(`
`1899`	`1899`	`exists(SummaryComponentStack stack \|`
`1900`		`- state_.isSourceOutputState(_, stack, _, _) and`
	`1900`	`+ state_.isSinkInputState(_, stack, _, _) and`
`1901`	`1901`	`stack.head() instanceof TContentSummaryComponent`
`1902`	`1902`	`)`
`1903`	`1903`	`or`
`@@ -2412,10 +2412,10 @@ module Make<`
`2412`	`2412`	`)`
`2413`	`2413`	`)`
`2414`	`2414`	`or`
`2415`		`- sourceExitStep(StepsInput::getSummaryNode(pred), succ, false)`
`2416`		`- or`
`2417`		`- sinkEntryStep(pred, StepsInput::getSummaryNode(succ), false)`
	`2415`	`+ sourceExitStep(predSummary, succ, false)`
`2418`	`2416`	`)`
	`2417`	`+ or`
	`2418`	`+ sinkEntryStep(pred, StepsInput::getSummaryNode(succ), false)`
`2419`	`2419`	`}`
`2420`	`2420`
`2421`	`2421`	`/**`