Properly exploit AndP with DoMathRound
Exploit Add/Sub overflow CC detection in BinaryOpSMI