Resettable Counter - Prolog Typing CST Test