Parallelization by semantic detection of reductions