Main.cpp now tests wordnet.isKnown() and wordnet.areSynonyms().