Fixed some bugs in parsing/printing external core format
Fixed some bugs in parsing/printing external core format

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