The check whether a label was already allocated was moved to the provision method,
where it makes more sense