Single-loop parallelization

This version corresponds to the tool as described in the PLDI'17 paper "Synthesis of Divide and Conquer Parallelism for Loops".