TREE_EMPTY
#define TREE_NONEMPTY(d, name) (!TREE_EMPTY(d, name))
if (TREE_EMPTY(d, CLEAN))
(background || (TREE_EMPTY(d, CLEAN) && TREE_EMPTY(d, DIRTY))))
TREE_EMPTY(d, DIRTY) && TREE_EMPTY(d, FAILING))