[CSStep] Fix a bug in `DisjunctionStep::resume` caused by was discarding active choice too early
[CSStep] Fix a bug in `DisjunctionStep::resume` caused by was discarding active choice too early

JGiola/swift,jmgc/swift,hooman/swift,airspeedswift/swift,jckarter/swift,rudkx/swift,shahmishal/swift,amraboelela/swift,jckarter/swift,glessard/swift,xwu/swift,benlangmuir/swift,apple/swift,gregomni/swift,aschwaighofer/swift,jckarter/swift,austinzheng/swift,danielmartin/swift,CodaFi/swift,gribozavr/swift,airspeedswift/swift,austinzheng/swift,jckarter/swift,brentdax/swift,atrick/swift,jckarter/swift,parkera/swift,sschiau/swift,harlanhaskins/swift,devincoughlin/swift,gribozavr/swift,CodaFi/swift,nathawes/swift,jmgc/swift,shajrawi/swift,shajrawi/swift,shahmishal/swift,danielmartin/swift,devincoughlin/swift,amraboelela/swift,roambotics/swift,shajrawi/swift,jmgc/swift,xwu/swift,devincoughlin/swift,xedin/swift,xwu/swift,benlangmuir/swift,glessard/swift,danielmartin/swift,practicalswift/swift,alblue/swift,allevato/swift,karwa/swift,JGiola/swift,ahoppen/swift,hooman/swift,tkremenek/swift,shahmishal/swift,ahoppen/swift,harlanhaskins/swift,harlanhaskins/swift,lorentey/swift,tkremenek/swift,practicalswift/swift,apple/swift,hooman/swift,atrick/swift,amraboelela/swift,glessard/swift,practicalswift/swift,rudkx/swift,alblue/swift,glessard/swift,nathawes/swift,lorentey/swift,parkera/swift,karwa/swift,harlanhaskins/swift,allevato/swift,allevato/swift,parkera/swift,rudkx/swift,shahmishal/swift,jmgc/swift,karwa/swift,airspeedswift/swift,karwa/swift,hooman/swift,devincoughlin/swift,aschwaighofer/swift,shahmishal/swift,practicalswift/swift,jckarter/swift,nathawes/swift,shahmishal/swift,parkera/swift,ahoppen/swift,stephentyrone/swift,sschiau/swift,amraboelela/swift,sschiau/swift,sschiau/swift,xedin/swift,austinzheng/swift,atrick/swift,sschiau/swift,devincoughlin/swift,roambotics/swift,hooman/swift,practicalswift/swift,CodaFi/swift,apple/swift,austinzheng/swift,benlangmuir/swift,karwa/swift,aschwaighofer/swift,alblue/swift,danielmartin/swift,CodaFi/swift,danielmartin/swift,JGiola/swift,CodaFi/swift,jckarter/swift,gribozavr/swift,aschwaighofer/swift,atrick/swift,rudkx/swift,parkera/swift,alblue/swift,shajrawi/swift,xwu/swift,lorentey/swift,gribozavr/swift,danielmartin/swift,CodaFi/swift,shajrawi/swift,amraboelela/swift,amraboelela/swift,atrick/swift,shajrawi/swift,shajrawi/swift,parkera/swift,practicalswift/swift,practicalswift/swift,harlanhaskins/swift,tkremenek/swift,parkera/swift,devincoughlin/swift,sschiau/swift,hooman/swift,roambotics/swift,apple/swift,austinzheng/swift,JGiola/swift,lorentey/swift,rudkx/swift,karwa/swift,practicalswift/swift,shahmishal/swift,brentdax/swift,CodaFi/swift,apple/swift,allevato/swift,allevato/swift,nathawes/swift,alblue/swift,jmgc/swift,tkremenek/swift,atrick/swift,xedin/swift,parkera/swift,xwu/swift,roambotics/swift,aschwaighofer/swift,rudkx/swift,xwu/swift,nathawes/swift,benlangmuir/swift,stephentyrone/swift,devincoughlin/swift,brentdax/swift,gregomni/swift,stephentyrone/swift,brentdax/swift,lorentey/swift,benlangmuir/swift,lorentey/swift,gregomni/swift,austinzheng/swift,ahoppen/swift,sschiau/swift,roambotics/swift,JGiola/swift,tkremenek/swift,ahoppen/swift,gribozavr/swift,roambotics/swift,karwa/swift,gregomni/swift,gribozavr/swift,brentdax/swift,airspeedswift/swift,karwa/swift,lorentey/swift,jmgc/swift,stephentyrone/swift,airspeedswift/swift,harlanhaskins/swift,gregomni/swift,aschwaighofer/swift,stephentyrone/swift,gregomni/swift,JGiola/swift,glessard/swift,sschiau/swift,allevato/swift,alblue/swift,lorentey/swift,austinzheng/swift,gribozavr/swift,brentdax/swift,nathawes/swift,xedin/swift,xwu/swift,airspeedswift/swift,shahmishal/swift,amraboelela/swift,aschwaighofer/swift,airspeedswift/swift,ahoppen/swift,hooman/swift,xedin/swift,jmgc/swift,brentdax/swift,tkremenek/swift,xedin/swift,benlangmuir/swift,tkremenek/swift,harlanhaskins/swift,stephentyrone/swift,stephentyrone/swift,devincoughlin/swift,danielmartin/swift,allevato/swift,xedin/swift,nathawes/swift,gribozavr/swift,xedin/swift,apple/swift,shajrawi/swift,glessard/swift,alblue/swift