}
@Test
public void multipleSeedsPreventReusingSummary() {
forwardHelper.method("foo",
startPoints(),
<BUG>normalStmt("a1").succ("b", flow("0", "1")),

normalStmt("a2").succ("b", flow("0", "1")),
</BUG>
callSite("b").calls("bar", flow(times(2), "1", "2")).retSite("c", kill(times(2), "1")),

}
@Test
public void multipleSeedsPreventReusingSummary() {
forwardHelper.method("foo",
startPoints(),
normalStmt("a1", flow("0", "1")).succ("b"),
normalStmt("a2", flow("0", "1")).succ("b"),
callSite("b").calls("bar", flow(times(2), "1", "2")).retSite("c", kill(times(2), "1")),
