/test/regress/regress0/parser/
../
Makefile
Makefile.am
declarefun-emptyset-uf.smt2