</BUG>
exitStmt("c").expectArtificalFlow(flow("1")));
backwardHelper.method("foo",
startPoints("c"),
normalStmt("c").succ("b"),
<BUG>normalStmt("b").succ("a", flow("0", "2")),
</BUG>
exitStmt("a").expectArtificalFlow(flow("2")));
forwardHelper.runBiDiSolver(backwardHelper, exchange, "b");
}

@Test
public void happyPath() {
forwardHelper.method("foo",
startPoints("a"),
normalStmt("a").succ("b"),
normalStmt("b", flow("0", "1")).succ("c"),
exitStmt("c").expectArtificalFlow(flow("1")));
backwardHelper.method("foo",
startPoints("c"),
normalStmt("c").succ("b"),
normalStmt("b", flow("0", "2")).succ("a"),
exitStmt("a").expectArtificalFlow(flow("2")));
forwardHelper.runBiDiSolver(backwardHelper, exchange, "b");
}
