Update Yices backend to recent changes