Tekstiviesti: Induction in component-based software synthesis