Removing unused variables
No reason to make this a 16b value. 32b is good.

It will be added to a 32b value anyway.
Fixing missing headers in dumped redundant&irredundant clauses

Thanks to Martin Maurer for finding this bug.

Fixes #125