1. Rewritten the conssat and stackconssat
2. resolved some bugs
3. a bug? found in the earlier code have to ask ilias
4. have to implement shuffle and addnext both