Bug fixing: Rules and Counters Debugger.