Shouldn't this check that the result of applying `piecewise_fold` is actually simpler than the initial expression?