Piecewise.subs() forces the simplification of the Piecewise, thus I use a Dummy and then a substitution. I guess some code should be moved out of `Piecewise.subs` to a `Piecewise.simplify()` at some point.