let new_node n = current_color := next_shade (); fprintf !dot_fmt "%a@." print_node n; print_pre (cedge_pre ()) !dot_fmt n