<add-spec>
Further tests can be described here.
Figure 78: Structure of additional specifications