Alloy task optimisation; remove recursion and reduce size of ballot boxes; interate from minimum to maximum scope
Alloy task optimisation; remove recursion and reduce size of ballot boxes; interate from minimum to maximum scope

GaloisInc/Votail,GaloisInc/Votail,GaloisInc/Votail