Implementation of the startlist statement of VDM++
+test