add support for generating SMT-LIB 2 benchmarks