Change in osmo-ttcn3-hacks[master]: fixup for bsc: add TC_ho_into_this_bsc_a5_1_3_no_chosen_enc_alg