Yices Play Around