fixed a bug in the pretty-printer that was putting unnecessary parentheses around the arguments of applications
fixed a bug in the pretty-printer that was putting unnecessary parentheses around the arguments of applications

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