}
@Test
public void happyPath() {
helper.method("bar",
startPoints("a"),
<BUG>normalStmt("a").succ("b", flow("0", "x")),

normalStmt("b").succ("c", flow("x", "x")),
</BUG>
callSite("c").calls("foo", flow("x", "y")).retSite("f", flow("x", "x")));

}
@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")));
