Change in osmo-ttcn3-hacks[master]: OSMUX_Emulation: Use Misc_Helpers.f_shutdown() everywhere