Simple Java CTL parser with quantified propositions. (Parser is generated by Antlr, grammar included)