kdrag.property.comm_norm

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

>>> x,y = smt.Ints("x y")
>>> assert comm_norm(y + x).eq(x + y)