Yices 2 SMT solver
