Support for Yices 2