VAR_1 ( ) { TYPE_1 VAR_2 = METHOD_1 ( ) ; TYPE_1 VAR_3 = METHOD_1 ( ) ; TYPE_2 k = new TYPE_2 ( VAR_2 , VAR_3 ) ; assertTrue ( k . METHOD_2 ( VAR_2 ) ) ; assertTrue ( k . METHOD_2 ( VAR_3 ) ) ; assert VAR_4 = ( METHOD_3 ( ) ) == INT_1 ; }

VAR_1 ( ) { TYPE_1 VAR_2 = METHOD_1 ( ) ; TYPE_1 VAR_3 = METHOD_1 ( ) ; TYPE_2 k = new TYPE_2 ( VAR_2 , VAR_3 ) ; assertTrue ( k . METHOD_2 ( VAR_2 ) ) ; assertTrue ( k . METHOD_2 ( VAR_3 ) ) ; assertTrue ( ( VAR_4 = ( METHOD_3 ( ) ) == INT_1 ) ) ; }
