The EG, EF ... quantifiers that were introduced with the old CTL engine have been superseeded by the CTL* AST.
These should be removed, but it requires some adjustments in the CTL engine to deal with the changed AST.