Add Tests for MiniSatJava