google/souper — pull request #136 by rsas (2014-12-13 18:32:39+00:00)
Title: Remove ExprSMTLIBLetPrinter

This version of KLEE includes our patch to enable
nested let abbreviations.