fun EG(inner: Formula, dir: DirFormula = DirFormula.True): Globally
Create an exists globally formula over future paths with optional dir direction restriction.