pCondExpr :: ExprPred -> ExprPred -> ExprPred -> ExprPred
pCondExpr tp cp fp (CondExpr t c f _) = tp t && cp c && fp f
pCondExpr :: ExprPred -> ExprPred -> ExprPred -> ExprPred
pCondExpr tp cp fp (CondExpr t c f _) = tp t && cp c && fp f
pCondExpr tp cp fp (CondExpr t c f _) = tp t && cp c && fp f