EU

infix fun Formula.EU(reach: Formula): Until

Create an exists until formula over future paths without direction restriction.

fun Formula.EU(reach: Formula, dir: DirFormula = DirFormula.True): Until

Create an exists until formula over future paths with optional direction restriction.