VAR_1 ( ) { TYPE_1 k = METHOD_1 ( ) ; TYPE_2 VAR_2 = METHOD_2 ( ) ; VAR_3 = METHOD_3 ( METHOD_2 ( ) , 1 ) ; assert k . METHOD_4 ( VAR_2 ) ; for ( int i = 0 ; i < INT_1 ; i ++ ) { VAR_3 = METHOD_3 ( METHOD_2 ( ) ) ; } assert VAR_4 = ( METHOD_5 ( ) ) == INT_2 ; }

VAR_1 ( ) { TYPE_1 k = METHOD_1 ( ) ; TYPE_2 VAR_2 = METHOD_2 ( ) ; VAR_3 = METHOD_3 ( METHOD_2 ( ) , 1 ) ; assertTrue ( k . METHOD_4 ( VAR_2 ) ) ; for ( int i = 0 ; i < INT_1 ; i ++ ) { VAR_3 = METHOD_3 ( METHOD_2 ( ) ) ; } assertTrue ( ( VAR_4 = ( METHOD_5 ( ) ) == INT_2 ) ) ; }
