add dump_print_dot function