Describir: ReCipe : a program synthesizer based on model checking for temporal logics