Fixed some PMD warnings.
Fixed a crash in the delta debugger.

The delta debugger made a wrong assumption while removing neutral elements.
This lead to a crash when for example an "and" could not be replaced by "true",
but had to remain.  Now, I try to replace it by a binary "and" with parameters
"true" and "true".