Piecewise fold with piecewise in cond

This is the conclusion of 
https://github.com/sympy/sympy/pull/1868