private int [ ] METHOD_1 ( TYPE_1 VAR_1 , int VAR_2 , int [ ] state ) { int [ ] VAR_3 = TYPE_2 . METHOD_2 ( state , state . length ) ; for ( int VAR_4 : VAR_1 . METHOD_3 ( VAR_2 ) ) { assert ( VAR_3 [ VAR_4 ] ) > 0 ; ( VAR_3 [ VAR_4 ] ) -- ; } return VAR_3 ; }

private int [ ] METHOD_1 ( TYPE_1 VAR_1 , int VAR_2 , int [ ] state ) { for ( int VAR_4 : VAR_1 . METHOD_3 ( VAR_2 ) ) { assert ( state [ VAR_4 ] ) > 0 ; ( state [ VAR_4 ] ) -- ; } return state ; }
