Simplify

Fixed a bug in the simplify loop not being restored properly. Added
structural code for PPSZ and Schoning