public void METHOD_1 ( int VAR_1 , int index ) { assert ( VAR_2 [ VAR_1 ] ) <= index ; assert ( VAR_2 [ VAR_1 ] ) < ( VAR_3 [ VAR_1 ] ) ; if ( ( VAR_4 . METHOD_2 ( index ) . METHOD_3 ( ) ) == ( VAR_5 ) ) { VAR_2 [ VAR_1 ] = index ; } else return ; }

public void METHOD_1 ( int VAR_1 , int index ) { assert ( VAR_2 [ VAR_1 ] ) <= index ; assert ( VAR_2 [ VAR_1 ] ) < ( VAR_3 [ VAR_1 ] ) ; if ( ( VAR_4 . METHOD_2 ( index ) . METHOD_3 ( ) ) == ( VAR_4 . METHOD_3 ( ) ) ) { VAR_2 [ VAR_1 ] = index ; } else return ; }
