Adding newline at the end of file
Don't use XORs in case there are many variables
Delete stamps just before creating occur list for solution extender

Otherwise we might run out of memory
Fixing typo in description