Analysis for input/output parameters
The newest engine calculating whether this or that operation's interface register is input or output has a bug. It doesn't take into account static parameters of suboperation calls. E.g., loads and stores use the same subfunction and set MEM_LOAD or MEM_STORE parameter value respectively. If both operations use the same register to keep data to store and to show read data in case of loads, this register will be considered as being IN_OUT despite the fact that reading and writing into the register are located in different branches of one if-then-else construction. It results in preparation of output registers.