Renaming variables for clarity
Refactoring conflict analysis
Refactoring conflict analysis code
Further refactoring for more readable code
Refactoring conflict analysis
Fixing cleaning of 'seen2'

Though this should have been cleaned in a different function :S
Fixing irred&red dumping, adding fuzzer for irred dumping

Finally, I have added a fuzzer for the irred dumping. That is now
checked against the original file. The redundand clause dumping might
still contain errors, I'll add a fuzzer for that too soon.

Fixes #121