callSite("b").calls("bar", flow(times(2), "1", "2")).retSite("c", kill(times(2), "1")),
callSite("c").calls("bar", flow(times(2), "1", "2")).retSite("d", kill(times(2), "1")),
exitStmt("d").expectArtificalFlow(kill(times(2), "1")));
forwardHelper.method("bar",
startPoints("x"),
<BUG>normalStmt("x").succ("y", flow("2", "2")),
</BUG>
exitStmt("y").returns(over("b"), to("c"), flow(times(2), "2", "1"))
.returns(over("c"), to("d"), flow(times(2), "2", "1")));
backwardHelper.method("foo",

callSite("b").calls("bar", flow(times(2), "1", "2")).retSite("c", kill(times(2), "1")),
callSite("c").calls("bar", flow(times(2), "1", "2")).retSite("d", kill(times(2), "1")),
exitStmt("d").expectArtificalFlow(kill(times(2), "1")));
forwardHelper.method("bar",
startPoints("x"),
normalStmt("x", flow("2", "2")).succ("y"),
exitStmt("y").returns(over("b"), to("c"), flow(times(2), "2", "1"))
.returns(over("c"), to("d"), flow(times(2), "2", "1")));
backwardHelper.method("foo",
