Exact counting (if fits into a byte) of the resolution of var-elim

This is quite cool actually, using 'seen', and popcount