Implement pymbolics If statement through sympys Piecewise

Previous implementation of If through the EvaluationMapper
resulted in wrong behaviour. Although the Piecewise node
is no exact match for the if, it can be used to express it.