INFO:CompareFunctions:No function id collision found INFO:VariablesOrder:Variable in the proxy: destination address INFO:VariablesOrder:No error found (variables ordering proxy <-> implementation) INFO:VariablesOrder:No error found (variables ordering between implementations)