bsc: f_establish_fully: verify lchan ESTABLISHED state

Change-Id: I341e2fa1e8946e7516705fa079e6e54fce9e58b0
diff --git a/bsc/MSC_ConnectionHandler.ttcn b/bsc/MSC_ConnectionHandler.ttcn
index 6b93ca5..8c44bf7 100644
--- a/bsc/MSC_ConnectionHandler.ttcn
+++ b/bsc/MSC_ConnectionHandler.ttcn
@@ -1307,6 +1307,13 @@
 			   " released properly: saw an RLL Release on the old lchan, but expecting none.");
 	    }
 	}
+
+	var charstring lchan_info := f_vty_transceive_ret(BSCVTY, "show lchan 0 0 " & int2str(g_chan_nr.tn) & " 0");
+	if (f_strstr(lchan_info, "State: ESTABLISHED") < 0) {
+		log("after f_establish_fully(), 'show lchan' replied: ", lchan_info);
+		setverdict(fail, "lchan is not in state ESTABLISHED");
+		mtc.stop;
+	}
 }
 
 type record HandoverState {