/test/regress/regress0/printer/
../
bv_consts_bin.smt2
bv_consts_dec.smt2
empty_sort.smt2
empty_symbol_name.smt2
let_shadowing.smt2
symbol_starting_w_digit.smt2
tuples_and_records.cvc