Improved CTL parser; CTL marking for Boolean connectives and EX