Towards a verified compiler prototype for the synchronous language SIGNAL