fun pEwX(inner: Formula, dir: DirFormula = DirFormula.True): WeakNext
Create an exists weak next formula over past paths with optional dir direction restriction.