added unit test for the NuSMV counter example parser
added unit test for TADL parser
fixed some minor warnings
modified LogServiceExtension to allow testing without the actual LogService instance
added unit tests for use-case specification language parser (UcmLang2Ucm)