rewrote 4.1.5 collapsing states and moved it to 3.12 Minimizing counter examples
changed collapsing irrelevant states to minimizing irrelevant states
Moved 4.4 Handle bugs in the C code to 3.7 Conflicts and bugs and merged the sections