rem: var r7 = k; var r8 = String( r6 ); 
add: var r7 = k; var r8 = String( r6 ); 
context: function Reverse( array ) {    var r2 = array.length;    var k = 0;    var r3 = Math.floor( r2/2 );    if ( r3 == k ) {        return array;    }    for ( k = 0;  k < r3; k++ ) {        var r6 = r2 - k - 1;//        var r7 = String( k );        var r7 = k;        var r8 = String( r6 );        var r9 = array[r7];        var r10 = array[r8];        array[r7] = r10;        array[r8] = r9;    }    return array;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4218d0f5950d93cb2609d946f6af7ce1b2e89575/15.4.4.4-2.js/buggy/js/tests/ecma/Array/15.4.4.4-2.js