public void reuseSummary() {
helper.method("foo",
startPoints("a"),
callSite("a").calls("bar", flow("0", "x")).retSite("b", flow("0", "y")),
callSite("b").calls("bar", flow("y", "x")).retSite("c", flow("y")),
<BUG>normalStmt("c").succ("c0", flow("w", "0")));
</BUG>
helper.method("bar",
startPoints("d"),
<BUG>normalStmt("d").succ("e", flow("x", "z")),
</BUG>
exitStmt("e").returns(over("a"), to("b"), flow("z", "y"))

public void reuseSummary() {
helper.method("foo",
startPoints("a"),
callSite("a").calls("bar", flow("0", "x")).retSite("b", flow("0", "y")),
callSite("b").calls("bar", flow("y", "x")).retSite("c", flow("y")),
normalStmt("c", flow("w", "0")).succ("c0"));
helper.method("bar",
startPoints("d"),
normalStmt("d", flow("x", "z")).succ("e"),
exitStmt("e").returns(over("a"), to("b"), flow("z", "y"))
