Added fast backjumping
debugging
custom sanity checking
nogood sanity check is working