Text this: Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions