Fixing CNF system for Outer vars
Removing redundant and XOR clause parsing
Removing decision-var saving and restoring in components

We simply set all vars decision. Much easier.
Making code much easier to read