ttcn3: more than one BSC