Replace targets for tests by referring to directories, e.g.,
you must now use "make tests/sat/Models".
Remove a wrong assert in TopMostUndefined and add an assert to check that the chosen clause is actually unsatisfied.
Replace TopMostUndefined by TopMostUnsatisfied.