VAR_1 ( ) { TYPE_1 k = METHOD_1 ( ) ; TYPE_2 [ ] VAR_2 = new TYPE_2 [ INT_1 ] ; assert VAR_3 = ( METHOD_2 ( ) ) == 0 ; VAR_4 = METHOD_3 ( VAR_2 ) ; assert VAR_3 = ( METHOD_2 ( ) ) == INT_1 ; }

VAR_1 ( ) { TYPE_1 k = METHOD_1 ( ) ; TYPE_2 [ ] VAR_2 = new TYPE_2 [ INT_1 ] ; assertTrue ( ( VAR_3 = ( METHOD_2 ( ) ) == 0 ) ) ; VAR_4 = METHOD_3 ( VAR_2 ) ; assertTrue ( ( VAR_3 = ( METHOD_2 ( ) ) == INT_1 ) ) ; }
