/test/regress/regress0/proofs/
../
scope.smt2