Add the standard code of highest-relabel.