Trying to fix yices
Yices working