Minor: This can just be `print_endline (Dfs.string_of_state s)` to avoid all the Printf machinery