private void METHOD_1 ( int VAR_1 , int VAR_2 ) { assert ( VAR_3 ) <= VAR_1 ; assert ( VAR_4 ) <= VAR_2 ; if ( ( VAR_1 != ( VAR_3 ) ) || ( VAR_2 != ( VAR_4 ) ) ) { METHOD_2 ( VAR_3 , VAR_4 , VAR_1 , VAR_2 ) ; } }

protected void METHOD_1 ( int VAR_1 , int VAR_2 ) { assert ( VAR_3 ) <= VAR_1 ; assert ( VAR_4 ) <= VAR_2 ; if ( ( VAR_1 != ( VAR_3 ) ) || ( VAR_2 != ( VAR_4 ) ) ) { METHOD_2 ( VAR_3 , VAR_4 , VAR_1 , VAR_2 ) ; } }
