Fix the test used when forming a path condition from a conditional branch
Fix the test used when forming a path condition from a conditional branch

google/souper,chenyang78/souper,chenyang78/souper,jubitaneja/souper,rsas/souper,rsas/souper,chubbymaggie/souper,lazyparser/souper,regehr/souper,chubbymaggie/souper,rsas/souper,jubitaneja/souper,jubitaneja/souper,lazyparser/souper,regehr/souper,regehr/souper,chenyang78/souper,chubbymaggie/souper,regehr/souper,google/souper,jubitaneja/souper,chenyang78/souper,google/souper,rsas/souper,chubbymaggie/souper,google/souper,lazyparser/souper,google/souper,lazyparser/souper,chenyang78/souper,lazyparser/souper,rsas/souper,rsas/souper,chubbymaggie/souper,regehr/souper,chenyang78/souper,jubitaneja/souper,jubitaneja/souper