private TYPE_1 METHOD_1 ( int VAR_1 , int VAR_2 ) { assert ( VAR_1 >= 0 ) && ( VAR_1 < ( VAR_3 ) ) : STRING_1 ; int VAR_4 = VAR_1 ; if ( VAR_5 . METHOD_2 ( ) ) return VAR_5 . METHOD_3 ( VAR_4 ) ; assert ( VAR_6 ) != null : STRING_2 ; return TYPE_2 . METHOD_4 ( VAR_6 , VAR_5 , VAR_4 , VAR_2 ) ; }

private TYPE_1 METHOD_1 ( int VAR_1 , int VAR_2 ) { assert ( VAR_1 >= 0 ) && ( VAR_1 <= ( VAR_3 ) ) : STRING_1 ; int VAR_4 = VAR_1 ; if ( VAR_5 . METHOD_2 ( ) ) return VAR_5 . METHOD_3 ( VAR_4 ) ; assert ( VAR_6 ) != null : STRING_2 ; return TYPE_2 . METHOD_4 ( VAR_6 , VAR_5 , VAR_4 , VAR_2 ) ; }
