don't run klee backend when alive is selected
don't run klee backend when alive is selected

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