Re: testing TTCN3 test stability