fixed pretty-printing for identifiers that start with "@" by adding parens when needed
fixed pretty-printing for identifiers that start with "@" by adding parens when needed

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script