* The result of consistency checking in addAssertion is interpreted
	differently. Since we are expecting Sat, Sat -> Ok and Unsat -> Fail.
* The tests check for expected values.