kdrag.utils.lift_ite

kdrag.utils.lift_ite(e) → tuple[ExprRef, ExprRef, ExprRef] | None

Lift an if-then-else out of an expression.

>>> x = smt.Int("x")
>>> lift_ite(smt.If(x > 0, x, -x) == 17)
(x > 0, x == 17, -x == 17)