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

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