startPoints(),
exitStmt("z").expectArtificalFlow(kill("2")));
backwardHelper.method("foo",
startPoints("c"),
normalStmt("c").succ("b"),
<BUG>normalStmt("b").succ("a", flow("0", "2")),
</BUG>
exitStmt("a").returns(over("y"), to("x"), flow("2", "3")));
backwardHelper.method("bar",
startPoints(),

startPoints(),
exitStmt("z").expectArtificalFlow(kill("2")));
backwardHelper.method("foo",
startPoints("c"),
normalStmt("c").succ("b"),
normalStmt("b", flow("0", "2")).succ("a"),
exitStmt("a").returns(over("y"), to("x"), flow("2", "3")));
backwardHelper.method("bar",
startPoints(),
