do not reinitialize TridVars after each constant synthesis try (#392)
do not reinitialize TridVars after each constant synthesis try (#392)


google/souper,jubitaneja/souper,google/souper,google/souper,rsas/souper,rsas/souper,regehr/souper,regehr/souper,jubitaneja/souper,jubitaneja/souper,rsas/souper,rsas/souper,google/souper,jubitaneja/souper,regehr/souper,jubitaneja/souper,jubitaneja/souper,google/souper,rsas/souper,rsas/souper,regehr/souper,regehr/souper