method incLabel =   labelC <- labelC + 1; labelC