Add default constructor for ElementCounter