minor edits to tests
adding decl statements to all benchmarks
automatically constructing decl Z3 commands