diff --git a/msc/MSC_Tests.ttcn b/msc/MSC_Tests.ttcn
index 3b9ea40..c7c61eb 100644
--- a/msc/MSC_Tests.ttcn
+++ b/msc/MSC_Tests.ttcn
@@ -3862,8 +3862,10 @@
 	var octetstring mme_name := f_enc_dns_hostname(mp_mme_name);
 	SGsAP.send(ts_SGsAP_IMSI_DETACH_IND(g_pars.imsi, mme_name, combined_UE_initiated));
 	SGsAP.receive(tr_SGsAP_IMSI_DETACH_ACK(g_pars.imsi));
-	f_ctrl_get_exp(IPA_CTRL, "fsm.SGs-UE.id.imsi:" & hex2str(g_pars.imsi) & ".state", "SGs-NULL");
-	/* FIXME: How to verify that VLR has removed MM context? */
+
+	if (f_ctrl_subscr_in_vlr(hex2str(g_pars.imsi))) {
+		setverdict(fail, "subscriber not removed from VLR");
+	}
 
 	f_sgsap_bssmap_screening();