VAR_1 ( ) { java.util.Random VAR_2 = new java.util.Random ( ) ; int min = 1 ; int VAR_3 = min + ( VAR_2 . METHOD_1 ( INT_1 ) ) ; for ( int i = 0 ; i < VAR_3 ; i ++ ) { TYPE_1 VAR_4 = new TYPE_1 ( ( STRING_1 + VAR_3 ) , VAR_5 ) ; VAR_6 = METHOD_2 ( VAR_4 ) ; assert VAR_7 = ( METHOD_3 ( ) ) == 1 ; } assert VAR_7 = ( METHOD_3 ( ) ) == VAR_3 ; }

VAR_1 ( ) { java.util.Random VAR_2 = new java.util.Random ( ) ; int min = 1 ; int VAR_3 = min + ( VAR_2 . METHOD_1 ( INT_1 ) ) ; for ( int i = 0 ; i < VAR_3 ; i ++ ) { TYPE_1 VAR_4 = new TYPE_1 ( ( STRING_1 + VAR_3 ) , VAR_5 ) ; VAR_6 = METHOD_2 ( VAR_4 ) ; } assertTrue ( ( VAR_7 = ( METHOD_3 ( ) ) == VAR_3 ) ) ; }
