Support for arith-only in yices