- working on LTL  variable support
- added support for colon notaion in forall and exists