Adds tests for MetaAnswerSet2TermSet
close #5

renaming and additional interfaces
Adds tests for metasp and bugfix