Build failed in Jenkins: ttcn3-smf-test-ogs-asan #3