Split some functions, add documentation, general refactoring
Split some functions, add documentation, general refactoring

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