static function reset() { Counter::$scenarios = 0; Counter::$pareto = 0; Counter::$leaf = 0; Counter::$start = time() - 1; Counter::$counters = []; }