retain parens when parsing negative numbers
add z-encoding of characters not allowed by smt-lib2