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