method hasLabel (i: int)                    =   il#hasLabel i