adapt SBVParser to use native SAWCore records instead of nested tuples
adapt SBVParser to use native SAWCore records instead of nested tuples

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