Simplify: avoid duplication backward_filter()