Handle two new cases in simplifyPartitionCtx (piecewise solution and sum of solutions). PWToPartition also handles the case when simplifyPartitionCtx returns multiple pieces.
Handle two new cases in simplifyPartitionCtx (piecewise solution and sum of solutions). PWToPartition also handles the case when simplifyPartitionCtx returns multiple pieces.

zachsully/hakaru,zachsully/hakaru,zaxtax/hakaru,zaxtax/hakaru