Resettable Counter - Ada Typing CST Test