Fixing suite name for getlemmas tests.

Also, remove redundant goto_starts

tests/getlemmas.cpp

@@ -8,7 +8,7 @@
 
 using namespace Wccl;
 
-BOOST_AUTO_TEST_SUITE(relative_position)
+BOOST_AUTO_TEST_SUITE(get_lemmas)
 
 struct LemmasPredFix
 {
@@ -88,7 +88,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_nowhere, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_begin, LemmasPredFix)
@@ -99,7 +98,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_begin, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(first_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_end, LemmasPredFix)
@@ -110,7 +108,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_end, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(second_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_zero, LemmasPredFix)
@@ -121,7 +118,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_zero, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(second_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_one, LemmasPredFix)
@@ -132,7 +128,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_one, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 
 BOOST_FIXTURE_TEST_CASE(lemmas_minus_one, LemmasPredFix)
@@ -143,7 +138,6 @@ BOOST_FIXTURE_TEST_CASE(lemmas_minus_one, LemmasPredFix)
 	BOOST_CHECK(lemmas.apply(cx)->equals(first_lemmas));
 	sc.advance();
 	BOOST_CHECK(lemmas.apply(cx)->equals(empty_set));
-	sc.goto_start();
 }
 //------ to_string test cases -------