void 
CollectionFilterState::push( const FragmentList& input )
{
    fragments.insert( fragments.end(), input.begin(), input.end() );
}