def is_dir(self, ino): attr = self._inode.get_iattr(ino) return And(self.is_valid(ino), attr.mode & S_IFDIR != 0)