public void visitFlowGraph(final FlowGraph cfg) {
		cfg.source().visit(this);

		final Iterator e = cfg.trace().iterator();

		while (e.hasNext()) {
			final Block block = (Block) e.next();
			block.visit(this);
		}

		cfg.sink().visit(this);

		this.out.flush();
	}