Made building a CFG for the ForWithIfToEndLoopSample work