Text this: Induction in component-based software synthesis