Function translatableExpr takes variable scoping rules into account
Function translatableExpr takes variable scoping rules into account

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