PartitionalSimplifiers sort issue fixed.