I really mean `.has(Piecewise)`. `x + Piecewise(foo)` is handled by calling `piecewise_fold`.