Spec de la variable contador de la clase lista