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"