Modularize counting problem (to allows for knowledge of symmetries)
mend
Use user suplied symmetries