export_file as a method name is too generic, according the code you want to export a game solved to a file, so lets make it clear, export_game_to_file