Prefer to solve the first disjunction with the smallest # of terms.
Prefer to solve the first disjunction with the smallest # of terms.

This simply mirrors the heuristic we were using for overload
sets. We'll want to do better eventually.


Swift SVN r9212

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