[S] Change in osmo-ttcn3-hacks[master]: mme: Verify GUTI -> RAI/PTMSI translation is correct