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