Parsing CTL forumulas