let path_of_string str =
    List.map f2s (PathOperation.path_of_string str)