Table 31 specifies result codes for the VerifyAsset Method.
For a specific set of (invalid) input arguments, it’s currently implementation dependent which error code will be returned. It depends on the order of checks performed by implementation.

Current version of CTT (1.04.508) makes assumptions about the order and expects certain result in certain conditions.
Need to decide whether specification should mandate a certain order of checks, or the CTT should accept more than one result.

E.g.
A list of ExpectedVerificationVariable contains an invalid element. At the same time, the list is missing a mandatory variable for the chosen VerificationMode.
What is the expected result: Bad_InvalidArgument (for missing mandatory variable), or Uncertain (for invalid element).