Dumb heuristic for variable ordering - sort by most used
Dumb heuristic for variable ordering - sort by most used

bjtitus/Eve,jhftrifork/Eve,sagittaros/Eve,8l/Eve,brunotag/Eve,hrishimittal/Eve,tobyjsullivan/Eve,bluesnowman/Eve,shaunstanislaus/Eve-1,agumonkey/Eve,bluesnowman/Eve,sherbondy/Eve,8l/Eve,adjohnson916/Eve,8l/Eve,Drooids/Eve,hrishimittal/Eve,agumonkey/Eve,8l/Eve,fineline/Eve,sagittaros/Eve,fineline/Eve,rschroll/Eve,Drooids/Eve,pel-daniel/Eve,tobyjsullivan/Eve,adjohnson916/Eve,adjohnson916/Eve,steveklabnik/Eve,kidaa/Eve-1,8l/Eve,hrishimittal/Eve,brunotag/Eve,fineline/Eve,brunotag/Eve,sagittaros/Eve,pel-daniel/Eve,nonZero/Eve,justintaft/Eve,nonZero/Eve,jhftrifork/Eve,rschroll/Eve,fineline/Eve,sherbondy/Eve,agumonkey/Eve,shaunstanislaus/Eve-1,kidaa/Eve-1,steveklabnik/Eve,shaunstanislaus/Eve-1,dirvine/Eve,nonZero/Eve,bluesnowman/Eve,brunotag/Eve,tobyjsullivan/Eve,justintaft/Eve,shamim8888/Eve,Drooids/Eve,pel-daniel/Eve,rschroll/Eve,sagittaros/Eve,sherbondy/Eve,Drooids/Eve,bjtitus/Eve,jhftrifork/Eve,brunotag/Eve,bluesnowman/Eve,agumonkey/Eve,jhftrifork/Eve,ViniciusAtaide/Eve,tobyjsullivan/Eve,bjtitus/Eve,fineline/Eve,shaunstanislaus/Eve-1,Drooids/Eve,justintaft/Eve,shaunstanislaus/Eve-1,dirvine/Eve,shamim8888/Eve,shamim8888/Eve,bjtitus/Eve,ViniciusAtaide/Eve,sagittaros/Eve,kidaa/Eve-1,steveklabnik/Eve,shamim8888/Eve,adjohnson916/Eve,shamim8888/Eve,rschroll/Eve,nonZero/Eve,ViniciusAtaide/Eve,tobyjsullivan/Eve,ViniciusAtaide/Eve,dirvine/Eve,adjohnson916/Eve,jhftrifork/Eve,sherbondy/Eve,steveklabnik/Eve,rschroll/Eve,ViniciusAtaide/Eve,dirvine/Eve,sherbondy/Eve,kidaa/Eve-1,hrishimittal/Eve,pel-daniel/Eve,hrishimittal/Eve,justintaft/Eve,dirvine/Eve,nonZero/Eve,agumonkey/Eve,steveklabnik/Eve