[S] Change in osmo-ttcn3-hacks[master]: smf: Add several SBI helpers