Adding support for dumping VCs as smtlib benchmarks