TTCN-3 L1CTL-related test issue