fix up the logic in the satness checker in SimRun.add_successor()
fix up the logic in the satness checker in SimRun.add_successor()

axt/angr,angr/angr,tyb0807/angr,chubbymaggie/angr,iamahuman/angr,angr/simuvex,chubbymaggie/angr,chubbymaggie/angr,tyb0807/angr,chubbymaggie/simuvex,f-prettyland/angr,schieb/angr,f-prettyland/angr,f-prettyland/angr,axt/angr,chubbymaggie/simuvex,axt/angr,angr/angr,tyb0807/angr,schieb/angr,schieb/angr,chubbymaggie/simuvex,angr/angr,iamahuman/angr,iamahuman/angr