let string_of_choice =
function
| ChooseToSkip path ->
Printf.sprintf "ChooseToSkip %S" (string_of_path path)
| ChooseToPostpone -> "ChooseToPostpone"
| Choose path ->
Printf.sprintf "Choose %S" (string_of_path path)
| NoChoice -> "NoChoice"