In Table 43 there is a status code Bad_NothingToDo with the following description:
“Verification of this variable was skipped because verification of preceding variables already resulted in […] Mismatch”

The rules for aborting processing should be described earlier, not only in this status code. We need to answer 3 questions:
1) Is it mandatory to abort processing? Currently CTT assumes it is, and the test would be failed, if the implementation continued processing.
2) Is it also expected to abort processing if the ExpectedVerificationVariable was invalid? Or only if the value Mismatched?
3) Do these rules apply also to VerifyAsset – additional variables?