The commit adds --wtns, which indicates the output directory for the witness files. If not given, no witness file is generated. The witness files are called `first-witness.wtns` and `second-witness.wtns`.