emptydirectory := proc (dir)
is(listdir(dir) = [".", ".."]);
end proc;