Jenkins build became unstable: ttcn3-pcu-test-sns-asan #86