Add support for the Yices solver