forwardHelper.method("bar",
startPoints(),
normalStmt("y").succ("z" /* none */));
backwardHelper.method("foo",
startPoints(),
<BUG>normalStmt("a").succ("c", flow("0", "1")),
</BUG>
exitStmt("c").returns(over("cs"), to("x"), flow("1", "2")));
backwardHelper.method("bar",
startPoints(),

forwardHelper.method("bar",
startPoints(),
normalStmt("y").succ("z" /* none */));
backwardHelper.method("foo",
startPoints(),
normalStmt("a", flow("0", "1")).succ("c"),
exitStmt("c").returns(over("cs"), to("x"), flow("1", "2")));
backwardHelper.method("bar",
startPoints(),
