improve debug output for exhaustive synthesis to better support (#390)
improve debug output for exhaustive synthesis to better support (#390)

tweaking this code
jubitaneja/souper,google/souper,google/souper,regehr/souper,jubitaneja/souper,rsas/souper,google/souper,jubitaneja/souper,google/souper,jubitaneja/souper,regehr/souper,jubitaneja/souper,google/souper,jubitaneja/souper,regehr/souper,rsas/souper,rsas/souper,rsas/souper,regehr/souper,rsas/souper,rsas/souper,regehr/souper