normalStmt("b").succ("c", flow("x", "x")),
</BUG>
callSite("c").calls("foo", flow("x", "y")).retSite("f", flow("x", "x")));
helper.method("foo",
startPoints("d"),
<BUG>normalStmt("d").succ("e", flow("y", "y", "z")),
</BUG>
exitStmt("e").returns(over("c"), to("f"), flow("z", "u"), flow("y")));
helper.runSolver(false, "a");
}

}
@Test
public void happyPath() {
helper.method("bar",
startPoints("a"),
normalStmt("a", flow("0", "x")).succ("b"),
normalStmt("b", flow("x", "x")).succ("c"),
callSite("c").calls("foo", flow("x", "y")).retSite("f", flow("x", "x")));
helper.method("foo",
startPoints("d"),
normalStmt("d", flow("y", "y", "z")).succ("e"),
exitStmt("e").returns(over("c"), to("f"), flow("z", "u"), flow("y")));
helper.runSolver(false, "a");
}
