Don't tokenize SET_THEORY operators in smt2 parser
Revert "fix naming conflicts in benchmarks"

This reverts commit 4cac1b63f76a0a973a015ea6f8e21ad31d84d971.
Array smtlib compliance tests