[ConstraintSystem] Further refactoring of disjunction partitioning.
[ConstraintSystem] Further refactoring of disjunction partitioning.

Unnest code by splitting it out into lambdas.

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