This will succeed with sideCondVerifierOptions, as Copilot's Add operation should overflow on signed integers precisely when C addition does.