def flip(constraint):
equal = copy.copy(constraint)<EOL>assert len(equal.operands) == <NUM_LIT:2><EOL>ite, forcepc = equal.operands<EOL>assert isinstance(ite, BitVecITE) and isinstance(forcepc, BitVecConstant)<EOL>assert len(ite.operands) == <NUM_LIT:3><EOL>cond, iifpc, eelsepc = ite.operands<EOL>assert isinstance(iifpc, BitVecConstant) and isinstance(eelsepc, BitVecConstant)<EOL>equal._operands= (equal.operands[<NUM_LIT:0>], eelsepc if forcepc.value == iifpc.value else iifpc)<EOL>return equal<EOL>
flips a constraint (Equal)

(Equal (BitVecITE Cond IfC ElseC) IfC)
    ->
(Equal (BitVecITE Cond IfC ElseC) ElseC)