void METHOD_1 ( ) { assert ( VAR_1 . METHOD_2 ( ) ) == ( VAR_2 ) ; VAR_3 . METHOD_1 ( ) ; VAR_3 = null ; } 

void METHOD_1 ( ) { assert ( VAR_1 . METHOD_2 ( ) ) == ( VAR_2 ) ; if ( ( VAR_3 ) != null ) { VAR_3 . METHOD_1 ( ) ; VAR_3 = null ; } } 
