Include proof obligation descriptions as part of proof goal names.
Include proof obligation descriptions as part of proof goal names.

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