Member predicate FileSystemAccess::isUpwardNavigationRejected
Holds if this file system access will reject paths containing upward navigation
segments (../).
argument should refer to the relevant path argument or root path argument.
predicate isUpwardNavigationRejected(Node argument)