Avoid needless generation of "done" symbols.

Filters that can't terminate early don't need them.
Some internal renaming.