method addInstr (i: instruction)    =   inl <- inl @ [i]; ()