TTCN-3 tests for MME