public void METHOD_1 ( TYPE_1 VAR_1 ) throws TYPE_2 { assert METHOD_2 ( VAR_1 ) : STRING_1 ; assert ( VAR_2 . size ( ) ) > INT_1 : STRING_2 ; try { VAR_2 . put ( VAR_1 ) ; } catch ( TYPE_3 | TYPE_4 VAR_3 ) { throw new TYPE_2 ( STRING_3 ) ; } }

public void METHOD_1 ( TYPE_1 VAR_1 ) throws TYPE_2 { assert ! ( METHOD_2 ( VAR_1 ) ) : STRING_1 ; assert ( VAR_2 . size ( ) ) <= INT_1 : STRING_2 ; try { VAR_2 . put ( VAR_1 ) ; } catch ( TYPE_3 | TYPE_4 VAR_3 ) { throw new TYPE_2 ( STRING_3 ) ; } }
