Heap regions with no reachability token need to have the empty reachability set
drwxr-xr-x - CVSROOT
drwxr-xr-x - Robust