kdrag.property.idem_simp

kdrag.property.idem_simp(e: ExprRef, trace=None) → ExprRef

>>> idem_simp(smt.And(a, smt.And(a, a)))
a

Parameters:

e (ExprRef)

Return type:

ExprRef