Use set-artih-only in Yices when flag --yices_arith_only is passed but fail when it is not safe: Missing file.