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

@Test
public void unbalancedReturnsNonMatchingCallSites() {
forwardHelper.method("foo",
startPoints("a"),
normalStmt("a").succ("b"),
normalStmt("b", flow("0", "1")).succ("c"),
exitStmt("c").returns(over("y1"), to("z"), flow("1", "2")));
forwardHelper.method("bar",
startPoints(),
