Simplified resizing of changes: now enough space once at the beginning.
Simplified implementation of ChangeManagement (using pointers).

Now also guarding against calling dll on empty clause-set.