[S] Change in osmo-ttcn3-hacks[master]: msc: ASCI: Fix race condition in TC_assign_fail