fun EX(inner: Formula, dir: DirFormula = DirFormula.True): Next
Create an exists next formula over future paths with optional dir direction restriction.