Piecewise: ensure input is a ExprCondPair