public void METHOD_1 ( ) { TYPE_1 VAR_1 = new TYPE_1 ( INT_1 ) ; VAR_2 . METHOD_2 ( VAR_1 ) ; TYPE_2 k = new TYPE_2 ( ) ; TYPE_3 VAR_3 = new TYPE_3 ( STRING_1 , VAR_2 ) ; VAR_4 = METHOD_3 ( k ) ; assert VAR_5 = ( METHOD_4 ( ) ) == INT_2 ; k . METHOD_5 ( VAR_3 ) ; assert VAR_5 = ( METHOD_4 ( ) ) == INT_3 ; }

public void METHOD_1 ( ) { TYPE_1 VAR_1 = new TYPE_1 ( INT_1 ) ; VAR_2 . METHOD_2 ( VAR_1 ) ; TYPE_2 k = new TYPE_2 ( ) ; TYPE_3 VAR_3 = new TYPE_3 ( STRING_1 , VAR_2 ) ; VAR_4 = METHOD_3 ( k ) ; assertTrue ( ( VAR_5 = ( METHOD_4 ( ) ) == INT_2 ) ) ; k . METHOD_5 ( VAR_3 ) ; assertTrue ( ( VAR_5 = ( METHOD_4 ( ) ) == 0 ) ) ; }
