BLDOMINATES
return (BLDOMINATES(label1, label2));
return (BLDOMINATES((label), ((range)->lower_bound)) &&
BLDOMINATES(((range)->upper_bound), (label)));
#define BLSTRICTDOM(l1, l2) (!BLEQUAL(l1, l2) && BLDOMINATES(l1, l2))
(BLDOMINATES((l), &((r)->lower_bound)) && \
BLDOMINATES(&((r)->upper_bound), (l)))