exprToPred path (CondExpr t c f _) = do
    tp <- exprToPred (path.ce_true_branchL) t
    cp <- exprToPred (path.ce_conditionL) c
    fp <- exprToPred (path.ce_false_branchL) f
    return $ pCondExpr tp cp fp
exprToPred path (CondExpr t c f _) = do
    tp <- exprToPred (path.ce_true_branchL) t
    cp <- exprToPred (path.ce_conditionL) c
    fp <- exprToPred (path.ce_false_branchL) f
    return $ pCondExpr tp cp fp
exprToPred path (CondExpr t c f _) = do
    tp <- exprToPred (path.ce_true_branchL) t
    cp <- exprToPred (path.ce_conditionL) c
    fp <- exprToPred (path.ce_false_branchL) f
    return $ pCondExpr tp cp fp