pub fn cfg_to_dot(cfg: &ControlFlowGraph) -> String
Generate a DOT representation of a control flow graph.