Factor the resolution of witnesses via derivation into its own routine.
Factor the resolution of witnesses via derivation into its own routine.

No functionality change.


Swift SVN r11427

karwa/swift,lorentey/swift,khizkhiz/swift,shajrawi/swift,xedin/swift,adrfer/swift,xwu/swift,brentdax/swift,amraboelela/swift,alblue/swift,jmgc/swift,therealbnut/swift,rudkx/swift,ken0nek/swift,felix91gr/swift,therealbnut/swift,danielmartin/swift,swiftix/swift.old,shajrawi/swift,nathawes/swift,roambotics/swift,felix91gr/swift,alblue/swift,MukeshKumarS/Swift,gregomni/swift,kusl/swift,dduan/swift,apple/swift,allevato/swift,djwbrown/swift,uasys/swift,therealbnut/swift,jtbandes/swift,felix91gr/swift,emilstahl/swift,frootloops/swift,gottesmm/swift,russbishop/swift,gmilos/swift,therealbnut/swift,gregomni/swift,MukeshKumarS/Swift,Jnosh/swift,khizkhiz/swift,shahmishal/swift,KrishMunot/swift,roambotics/swift,milseman/swift,JGiola/swift,arvedviehweger/swift,xedin/swift,practicalswift/swift,glessard/swift,kperryua/swift,allevato/swift,LeoShimonaka/swift,glessard/swift,russbishop/swift,lorentey/swift,harlanhaskins/swift,devincoughlin/swift,stephentyrone/swift,slavapestov/swift,gottesmm/swift,modocache/swift,tjw/swift,kusl/swift,ken0nek/swift,JGiola/swift,Jnosh/swift,Jnosh/swift,felix91gr/swift,ahoppen/swift,tkremenek/swift,austinzheng/swift,benlangmuir/swift,return/swift,jopamer/swift,kentya6/swift,brentdax/swift,tinysun212/swift-windows,milseman/swift,mightydeveloper/swift,gregomni/swift,gottesmm/swift,ben-ng/swift,shajrawi/swift,calebd/swift,johnno1962d/swift,jckarter/swift,OscarSwanros/swift,kusl/swift,adrfer/swift,kusl/swift,SwiftAndroid/swift,arvedviehweger/swift,adrfer/swift,tinysun212/swift-windows,therealbnut/swift,tardieu/swift,return/swift,frootloops/swift,allevato/swift,zisko/swift,jmgc/swift,zisko/swift,practicalswift/swift,alblue/swift,natecook1000/swift,devincoughlin/swift,danielmartin/swift,hughbe/swift,swiftix/swift.old,swiftix/swift,deyton/swift,mightydeveloper/swift,roambotics/swift,milseman/swift,zisko/swift,lorentey/swift,ben-ng/swift,manavgabhawala/swift,practicalswift/swift,aschwaighofer/swift,nathawes/swift,jopamer/swift,atrick/swift,Jnosh/swift,xedin/swift,lorentey/swift,devincoughlin/swift,xwu/swift,modocache/swift,tkremenek/swift,gregomni/swift,tardieu/swift,zisko/swift,jtbandes/swift,hooman/swift,parkera/swift,sdulal/swift,hooman/swift,aschwaighofer/swift,jtbandes/swift,jmgc/swift,amraboelela/swift,CodaFi/swift,uasys/swift,cbrentharris/swift,tjw/swift,jckarter/swift,jopamer/swift,sdulal/swift,ahoppen/swift,glessard/swift,harlanhaskins/swift,JaSpa/swift,jckarter/swift,devincoughlin/swift,swiftix/swift.old,benlangmuir/swift,kentya6/swift,aschwaighofer/swift,gribozavr/swift,tkremenek/swift,kstaring/swift,huonw/swift,austinzheng/swift,harlanhaskins/swift,rudkx/swift,brentdax/swift,huonw/swift,LeoShimonaka/swift,brentdax/swift,xedin/swift,atrick/swift,MukeshKumarS/Swift,gribozavr/swift,return/swift,karwa/swift,airspeedswift/swift,therealbnut/swift,bitjammer/swift,lorentey/swift,practicalswift/swift,hooman/swift,alblue/swift,Jnosh/swift,bitjammer/swift,dduan/swift,CodaFi/swift,tjw/swift,lorentey/swift,JaSpa/swift,xwu/swift,gmilos/swift,hooman/swift,Jnosh/swift,parkera/swift,swiftix/swift.old,ken0nek/swift,modocache/swift,sschiau/swift,brentdax/swift,slavapestov/swift,mightydeveloper/swift,russbishop/swift,amraboelela/swift,sschiau/swift,danielmartin/swift,xedin/swift,amraboelela/swift,Ivacker/swift,SwiftAndroid/swift,johnno1962d/swift,IngmarStein/swift,KrishMunot/swift,tkremenek/swift,nathawes/swift,devincoughlin/swift,shahmishal/swift,johnno1962d/swift,calebd/swift,xwu/swift,KrishMunot/swift,uasys/swift,ben-ng/swift,khizkhiz/swift,kentya6/swift,kperryua/swift,milseman/swift,adrfer/swift,ben-ng/swift,jmgc/swift,uasys/swift,zisko/swift,parkera/swift,tinysun212/swift-windows,CodaFi/swift,cbrentharris/swift,felix91gr/swift,khizkhiz/swift,glessard/swift,cbrentharris/swift,gribozavr/swift,aschwaighofer/swift,LeoShimonaka/swift,Ivacker/swift,codestergit/swift,natecook1000/swift,xwu/swift,ahoppen/swift,xedin/swift,karwa/swift,calebd/swift,kentya6/swift,uasys/swift,allevato/swift,KrishMunot/swift,IngmarStein/swift,hughbe/swift,ken0nek/swift,swiftix/swift,JaSpa/swift,gmilos/swift,adrfer/swift,manavgabhawala/swift,huonw/swift,brentdax/swift,CodaFi/swift,sdulal/swift,frootloops/swift,IngmarStein/swift,aschwaighofer/swift,gottesmm/swift,djwbrown/swift,jtbandes/swift,Jnosh/swift,kstaring/swift,johnno1962d/swift,codestergit/swift,emilstahl/swift,roambotics/swift,huonw/swift,parkera/swift,tjw/swift,benlangmuir/swift,practicalswift/swift,allevato/swift,uasys/swift,bitjammer/swift,sschiau/swift,airspeedswift/swift,frootloops/swift,stephentyrone/swift,amraboelela/swift,emilstahl/swift,djwbrown/swift,CodaFi/swift,ahoppen/swift,KrishMunot/swift,arvedviehweger/swift,khizkhiz/swift,emilstahl/swift,karwa/swift,jtbandes/swift,benlangmuir/swift,ben-ng/swift,zisko/swift,sschiau/swift,glessard/swift,apple/swift,sschiau/swift,return/swift,OscarSwanros/swift,shajrawi/swift,practicalswift/swift,cbrentharris/swift,cbrentharris/swift,JGiola/swift,roambotics/swift,ahoppen/swift,codestergit/swift,airspeedswift/swift,emilstahl/swift,therealbnut/swift,shahmishal/swift,apple/swift,danielmartin/swift,manavgabhawala/swift,gribozavr/swift,manavgabhawala/swift,amraboelela/swift,glessard/swift,kperryua/swift,mightydeveloper/swift,atrick/swift,shahmishal/swift,parkera/swift,Ivacker/swift,hughbe/swift,jmgc/swift,bitjammer/swift,felix91gr/swift,adrfer/swift,parkera/swift,return/swift,IngmarStein/swift,mightydeveloper/swift,allevato/swift,milseman/swift,harlanhaskins/swift,SwiftAndroid/swift,austinzheng/swift,IngmarStein/swift,bitjammer/swift,SwiftAndroid/swift,dduan/swift,bitjammer/swift,parkera/swift,MukeshKumarS/Swift,deyton/swift,kusl/swift,kentya6/swift,johnno1962d/swift,lorentey/swift,uasys/swift,modocache/swift,modocache/swift,shajrawi/swift,jckarter/swift,jmgc/swift,tardieu/swift,sschiau/swift,tjw/swift,jopamer/swift,hooman/swift,austinzheng/swift,calebd/swift,dreamsxin/swift,tinysun212/swift-windows,gmilos/swift,slavapestov/swift,cbrentharris/swift,dduan/swift,devincoughlin/swift,sdulal/swift,SwiftAndroid/swift,shahmishal/swift,dduan/swift,swiftix/swift,gregomni/swift,stephentyrone/swift,slavapestov/swift,devincoughlin/swift,tinysun212/swift-windows,tkremenek/swift,gribozavr/swift,slavapestov/swift,djwbrown/swift,calebd/swift,JaSpa/swift,JaSpa/swift,hooman/swift,frootloops/swift,codestergit/swift,danielmartin/swift,cbrentharris/swift,shajrawi/swift,JGiola/swift,lorentey/swift,swiftix/swift.old,return/swift,kentya6/swift,sschiau/swift,emilstahl/swift,tardieu/swift,kperryua/swift,nathawes/swift,arvedviehweger/swift,gottesmm/swift,SwiftAndroid/swift,kusl/swift,gmilos/swift,mightydeveloper/swift,airspeedswift/swift,gribozavr/swift,rudkx/swift,xedin/swift,swiftix/swift,Ivacker/swift,tkremenek/swift,OscarSwanros/swift,swiftix/swift,SwiftAndroid/swift,brentdax/swift,kperryua/swift,jtbandes/swift,stephentyrone/swift,jopamer/swift,sdulal/swift,LeoShimonaka/swift,airspeedswift/swift,slavapestov/swift,emilstahl/swift,MukeshKumarS/Swift,slavapestov/swift,gribozavr/swift,nathawes/swift,natecook1000/swift,jopamer/swift,tinysun212/swift-windows,mightydeveloper/swift,shahmishal/swift,amraboelela/swift,felix91gr/swift,deyton/swift,Ivacker/swift,OscarSwanros/swift,jopamer/swift,swiftix/swift.old,huonw/swift,IngmarStein/swift,parkera/swift,emilstahl/swift,danielmartin/swift,Ivacker/swift,kusl/swift,tardieu/swift,practicalswift/swift,kentya6/swift,johnno1962d/swift,xwu/swift,hughbe/swift,rudkx/swift,hughbe/swift,russbishop/swift,djwbrown/swift,kstaring/swift,gregomni/swift,stephentyrone/swift,nathawes/swift,milseman/swift,codestergit/swift,kstaring/swift,harlanhaskins/swift,manavgabhawala/swift,Ivacker/swift,frootloops/swift,gmilos/swift,apple/swift,swiftix/swift,JaSpa/swift,JaSpa/swift,shajrawi/swift,codestergit/swift,LeoShimonaka/swift,khizkhiz/swift,ben-ng/swift,tinysun212/swift-windows,djwbrown/swift,harlanhaskins/swift,tjw/swift,tkremenek/swift,return/swift,rudkx/swift,jmgc/swift,gmilos/swift,atrick/swift,kstaring/swift,cbrentharris/swift,Ivacker/swift,MukeshKumarS/Swift,atrick/swift,stephentyrone/swift,benlangmuir/swift,allevato/swift,deyton/swift,LeoShimonaka/swift,natecook1000/swift,natecook1000/swift,JGiola/swift,swiftix/swift.old,ben-ng/swift,alblue/swift,bitjammer/swift,kperryua/swift,kusl/swift,sschiau/swift,gottesmm/swift,deyton/swift,austinzheng/swift,nathawes/swift,gribozavr/swift,kstaring/swift,gottesmm/swift,kperryua/swift,roambotics/swift,apple/swift,shahmishal/swift,devincoughlin/swift,JGiola/swift,LeoShimonaka/swift,calebd/swift,CodaFi/swift,jckarter/swift,johnno1962d/swift,frootloops/swift,ken0nek/swift,modocache/swift,danielmartin/swift,jtbandes/swift,OscarSwanros/swift,deyton/swift,IngmarStein/swift,karwa/swift,adrfer/swift,shajrawi/swift,karwa/swift,atrick/swift,milseman/swift,kentya6/swift,xwu/swift,modocache/swift,sdulal/swift,kstaring/swift,natecook1000/swift,MukeshKumarS/Swift,arvedviehweger/swift,rudkx/swift,karwa/swift,xedin/swift,calebd/swift,swiftix/swift,OscarSwanros/swift,manavgabhawala/swift,KrishMunot/swift,ken0nek/swift,natecook1000/swift,benlangmuir/swift,russbishop/swift,swiftix/swift.old,KrishMunot/swift,tardieu/swift,zisko/swift,huonw/swift,practicalswift/swift,aschwaighofer/swift,manavgabhawala/swift,hughbe/swift,mightydeveloper/swift,dduan/swift,djwbrown/swift,huonw/swift,OscarSwanros/swift,tjw/swift,CodaFi/swift,LeoShimonaka/swift,dreamsxin/swift,tardieu/swift,ahoppen/swift,austinzheng/swift,harlanhaskins/swift,shahmishal/swift,ken0nek/swift,alblue/swift,alblue/swift,sdulal/swift,karwa/swift,stephentyrone/swift,arvedviehweger/swift,hooman/swift,austinzheng/swift,khizkhiz/swift,dduan/swift,arvedviehweger/swift,airspeedswift/swift,codestergit/swift,apple/swift,airspeedswift/swift,sdulal/swift,russbishop/swift,jckarter/swift,aschwaighofer/swift,jckarter/swift,russbishop/swift,deyton/swift,hughbe/swift