Major overhaul in countermodel and counterlistmodel to allow statistics tracking in model classes