I've added a comment. Basically, there is no need to call piecewise_fold if the Piecewise does not depend on any of the symbols we are solving for. In fact, calling piecewise_fold in such a case complicates things quite a bit.