We have a case where the use of `--short-sat` option degenerates
performance. From now on, if you want to use `--short-sat`, please pass
it as a dReal option by adding it to the end of command-line arguments.