Add a new reduction algorithm: IteratedSifting