public void METHOD_1 ( ) throws java.lang.Exception { int VAR_1 = INT_1 ; TYPE_1 message = null ; VAR_2 = METHOD_2 ( STRING_1 ) ; METHOD_3 ( ) ; while ( true ) { message = VAR_2 . METHOD_4 ( INT_2 ) ; if ( message == null ) { break ; } VAR_1 -- ; } assertEquals ( VAR_1 , 0 ) ; VAR_2 . METHOD_5 ( ) ; METHOD_6 ( VAR_1 ) ; }

public void METHOD_1 ( ) throws java.lang.Exception { int VAR_1 = INT_1 ; TYPE_1 message = null ; VAR_2 = METHOD_2 ( STRING_1 ) ; METHOD_3 ( ) ; while ( true ) { message = VAR_2 . METHOD_4 ( INT_2 ) ; if ( message == null ) { break ; } VAR_1 -- ; } assertEquals ( 0 , VAR_1 ) ; VAR_2 . METHOD_5 ( ) ; METHOD_6 ( VAR_1 ) ; }
