Operand and limits optimization for binary translation system | AMiner