/* Heuristic emptiness measure */