let guiding_path_to_string (guiding_path: guiding_path) : string =
  String.concat "\n"
    (List.map
       (fun step ->
          match step with
            | Left literal ->
                "LEFT: " ^ Term.literal_to_string literal;
                
            | Right literal ->
                "RIGHT: " ^ Term.literal_to_string literal;
                
            | Split literal ->
                "SPLIT: " ^ Term.literal_to_string literal;
       )
       guiding_path
    )