public void METHOD_1 ( ) { for ( TYPE_1 VAR_1 : VAR_2 ) { for ( TYPE_1 VAR_3 : VAR_2 ) { for ( long value : values ) { TYPE_1 result = VAR_1 . METHOD_2 ( VAR_3 ) ; if ( ( VAR_1 . contains ( value ) ) || ( VAR_3 . contains ( value ) ) ) { assert result . contains ( value ) : java.lang.String.format ( STRING_1 , VAR_1 , VAR_3 , result , value ) ; } } } } }

public void METHOD_1 ( ) { for ( TYPE_1 VAR_1 : VAR_2 ) { for ( TYPE_1 VAR_3 : VAR_2 ) { TYPE_1 result = VAR_1 . METHOD_2 ( VAR_3 ) ; for ( long value : values ) { if ( ( VAR_1 . contains ( value ) ) || ( VAR_3 . contains ( value ) ) ) { assert result . contains ( value ) : java.lang.String.format ( STRING_1 , VAR_1 , VAR_3 , result , value ) ; } } } } }
