the LTL formula view now reacts if the state is changed; refactoring: use a tuple of an LTL object and a status-String instead of keeping two seperate lists
added caching mechanism