Package de.learnlib.filter.statistic