Add yices backend