Fixed removal of unused fresh symbols.

The removal code did not correctly complement the set of used definitions
leading to left-over definition of fresh function symbols created as pre-
commands for some term commands.  Now, these declarations should be correctly
removed.