Well, to me, either there should be no card (and then, assertNoCard is the solution), either there is a card (and then, tellCard is the solution).

calling removeCardAndSuccessors means that you're not sure of what the code does. But that's ok if you think that can prevent bugs. (I'd prefer unit tests though ;) ).