exprToPred path (SlicedExpr expr slices _) = do
    exprp <- exprToPred (path.sliceeL) expr
    slicesp <- slicesToPred (path.slicesL) slices
    return $ pSlicedExpr exprp slicesp
exprToPred path (SlicedExpr expr slices _) = do
    exprp <- exprToPred (path.sliceeL) expr
    slicesp <- slicesToPred (path.slicesL) slices
    return $ pSlicedExpr exprp slicesp
exprToPred path (SlicedExpr expr slices _) = do
    exprp <- exprToPred (path.sliceeL) expr
    slicesp <- slicesToPred (path.slicesL) slices
    return $ pSlicedExpr exprp slicesp