Fixed bug with fresh declarations in DeltaDebugger.

The DeltaDebugger did not include declarations of fresh symbols when minimizing
unused declarations.  This bug was fixed.  Furthermore, it is now possible to
deactivate pre commands.