modify is_reduced_with_removals