pSlicedExpr :: ExprPred -> ([QSlice] -> Bool) -> ExprPred
pSlicedExpr exprp slicesp (SlicedExpr expr slices _) = exprp expr && slicesp slices
pSlicedExpr :: ExprPred -> ([QSlice] -> Bool) -> ExprPred
pSlicedExpr exprp slicesp (SlicedExpr expr slices _) = exprp expr && slicesp slices
pSlicedExpr exprp slicesp (SlicedExpr expr slices _) = exprp expr && slicesp slices