If in a claim, the other certificate is withdrawn, the claim is not correctly set as withdrawn. We might need save the other certificate ids as part of the HandleAllocated event and also follow the Stamps withdrawn lists to ensure full coverage.