ir_block implementation, instruction ownership semantics