Quote commands to be tested, so that one can use

$ make TESTS_COMMAND_SatModel="wasp --heuristic-minisat"

or similar.
Remove LearnedClause class (we will use Clause).