added unit test for CTL parser
added unit tests for transformation which transforms DOT EMF model into a textual representation used by the dot tool as an input language