ir_term_instr implementation