Major updates to SAWScript->SAWCore translation.
Major updates to SAWScript->SAWCore translation.

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