testing TTCN3 test stability