Yices 2