let fold_implem_filters f i = Queue.fold f i implem_filters