}
@Test
public void dontResumeIfReturnFlowIsKilled() {
forwardHelper.method("foo",
startPoints(),
<BUG>normalStmt("a").succ("b", flow("0", "1")),
</BUG>
exitStmt("b").returns(over("cs"), to("y"), kill("1")));
forwardHelper.method("bar",
startPoints(),

}
@Test
public void dontResumeIfReturnFlowIsKilled() {
forwardHelper.method("foo",
startPoints(),
normalStmt("a", flow("0", "1")).succ("b"),
exitStmt("b").returns(over("cs"), to("y"), kill("1")));
forwardHelper.method("bar",
startPoints(),
