private static void insertCode(final FlowGraph cfg,
			final SSAConstructionInfo info) {
		final Iterator blocks = cfg.nodes().iterator();

		while (blocks.hasNext()) {
			final Block block = (Block) blocks.next();

			final PhiStmt phi = info.phiAtBlock(block);

			if (phi != null) {
				Assert.isFalse(phi instanceof PhiReturnStmt);
				block.tree().prependStmt(phi);
			}
		}
	}