Added the possibility to switch incremental SAT solving off - via removing a "#define" statement in satChecker.cpp