Added a new LTL operator ('Av(x)' for CSP specifications only).