public int METHOD_1 ( ) { if ( ( this . index ) > 0 ) { <BUG> return this . index ;</BUG> } return 0 ; }
public int METHOD_1 ( ) { if ( ( this . index ) > 0 ) { return ( this . index ) - 1 ; } return 0 ; } 
