Bugfix: don't take DEmpty into account for the profiler test