method addLabel (lab: element) (ip: int)    =   il#addLabel lab ip