all bugs remove single cycle tests passed , can be synthesized