Simplify definition of MGU.exportExpr: The local function 'go' turned out to be equivalent to 'pure'.
Simplify definition of MGU.exportExpr:
The local function 'go' turned out to be equivalent to 'pure'.

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