public void METHOD_1 ( ) { int size = INT_1 ; while ( ! ( VAR_1 . isEmpty ( ) ) ) { size -- ; assertTrue ( STRING_1 , ( ( VAR_1 . METHOD_2 ( ) ) == 1 ) ) ; VAR_1 . remove ( ) ; assertTrue ( STRING_2 , ( ( VAR_2 . size ( ) ) == size ) ) ; } }

public void METHOD_1 ( ) { int size = INT_1 ; while ( ! ( VAR_1 . isEmpty ( ) ) ) { size -- ; assertTrue ( STRING_1 , ( ( VAR_1 . METHOD_2 ( ) ) == 1 ) ) ; VAR_1 . remove ( ) ; assertTrue ( STRING_2 , ( ( VAR_1 . size ( ) ) == size ) ) ; } }
