let atomize_paths l = S(List.map (fun x -> P x) l)