finish Yices