givenVarOccur Complete!(ish)

Get a new CNFSatInstance. Known assignments not updated yet.
givenVarOccur Complete

For reals
Moving to new branch
trying to fix conflict