Drop CTL quantifiers from formula type
COOL handles CTL formulas by translating them to fixpoint formulas. This should be done directly in the parser as done for CTL.
COOL handles CTL formulas by translating them to fixpoint formulas. This should be done directly in the parser as done for CTL.