kdrag.property.idem_norm

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

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

Parameters:

e (ExprRef)

Return type:

ExprRef