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