NeatFreq/Automaton Reference-Free Coverage Reduction Distribution Package