Better handling of the else branch

I realized sympy.Piecewise iterates over the conditions
and returns the first which evaluates to True. So, the
else branch should have `True` instead of `sp.Not(cond)`
for a more robust implementation.