deleted yices stuff