use Label->isDefined() instead of isLabelDeleted() now that we