SAWCore pretty printer avoids abstracting over terms with dangling bound variables
SAWCore pretty printer avoids abstracting over terms with dangling bound variables

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