Characteristic predicate TaintedPath :: Label :: PosixPath :: PosixPath
PosixPath
(
)