Text this: Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.