Python tweaks suggested by @pnwamk, @RyanGlScott
Python tweaks suggested by @pnwamk, @RyanGlScott

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