Characteristic predicate NormalizedPath :: NormalizedPath
NormalizedPath
(
)