PartitionalSimplifier seems ready.