Fixed a bug (if all productions are harmless, then the grammar is unambiguous, not ambiguous.
Also, we calculate average filter times.