Fixed bug in DeltaDebugger.

removeNeutrals was broken in the delta debugger for numeric terms as well.  Now
we replace an empty sum by the sum of two zeros.