PL/SQL Resettable Counter - Plsql Typing CST Test