Stuff for processing SMT-LIB benchmarks (no solving as of now)