Working now on test for PathFactory._add_new_lemma()