This will succeed with sideCondVerifierOptions, as Copilot's Sub operation should underflow on signed integers precisely when C subtraction does.