make use of new functions in Instr module: of_reg and get_reg_sorts