label_is_root
done = label_is_root(label);
if (label_is_root(label))
if (label_is_root(label))
while (!label_is_root(src)) {
while (!label_is_root(src)) {
assert(!label_is_root(label));