Uses of Class
de.learnlib.filter.statistic.learner.RefinementCounterLearner