int METHOD_1 ( ) { assert ( this . VAR_1 ) != null : STRING_1 ; assert ( ( TYPE_1 . METHOD_2 ( this ) . length ) % INT_1 ) == 0 : STRING_2 ; for ( int VAR_2 = ( METHOD_3 ( ) ) - 1 ; VAR_2 >= 0 ; VAR_2 -- ) { if ( ( METHOD_4 ( VAR_2 ) ) != null ) return VAR_2 + 1 ; } return 0 ; }

int METHOD_1 ( ) { assert ( ( TYPE_1 . METHOD_2 ( this ) . length ) % INT_1 ) == 0 : STRING_2 ; for ( int VAR_2 = ( METHOD_3 ( ) ) - 1 ; VAR_2 >= 0 ; VAR_2 -- ) { if ( ( METHOD_4 ( VAR_2 ) ) != null ) return VAR_2 + 1 ; } return 0 ; }
