Fixed Bug in DeltaDebugger for TermListCmds.

The delta debbugger ran into an endless loop if a term list consisted of only
one term.  Now, such term lists are not simplified anymore.