Table 41 describes requirements for ExpectedVerificationVariables. There are 2 requirements which don’t have corresponding error codes. It makes it impossible to test for conformance, because implementation can choose any code.

1)
“The Node may be of any NodeClass, but only the NodeClass of Variable or VariableType can have a non-null value.”
What is the expected error if this is not fulfilled?

2)
“If the ArrayIndex is provided, the Value shall be checked against corresponding index.”
It is implied that the ArrayIndex shall be in bound of the actual array. What if it’s not?

Note:
Current CTT (1.04.508) does not have a test for condition 1. It has a test for condition 2 and assumes some concrete error code, which is not listed in the spec.