Updating failling test case

Tst/RegressionTests/Feature1SMLevelDecls/Correct/EntryNamedFunction/EntryNamedFunction.p

@@ -1,21 +1,20 @@
-
-/* PSrc/FrontDesk.p */
 type tRoomInfo = (roomNumber: int, isAvailable: bool);
 
 
 machine Main {
-    var rooms: map[int, tRoomInfo];
+    start state Init {
+        entry {
+            new m1(default(map[int, tRoomInfo]));
+        }
+    }
+}
 
+machine m1 {
     start state Init {
         entry Init_Entry;
-        exit {
-            assert true;
-        }
     }
 
     fun Init_Entry(initialRooms: map[int, tRoomInfo]) {
-        new Main(default(map[int, tRoomInfo]));
+        assert true;
     }
-}
-
-
+}