method addInstr (i: instruction)    =   il#addInstr i