Stav dette: Induction in component-based software synthesis