diff --git a/VSharp.Test/Tests/Generic.cs b/VSharp.Test/Tests/Generic.cs
index 37bac0ec9..cc1eefbb8 100644
--- a/VSharp.Test/Tests/Generic.cs
+++ b/VSharp.Test/Tests/Generic.cs
@@ -398,6 +398,7 @@ public static int Nested1(object o)
             }
             return 1;
         }
+
         [TestSvm(100)]
         public static int Nested2(object o)
         {
diff --git a/VSharp.Test/Tests/Lists.cs b/VSharp.Test/Tests/Lists.cs
index 265fdaa3a..8117c0bc8 100644
--- a/VSharp.Test/Tests/Lists.cs
+++ b/VSharp.Test/Tests/Lists.cs
@@ -949,6 +949,15 @@ public static int ListTest(decimal d1, decimal d2)
             return -1;
         }
 
+        [TestSvm(100)]
+        public static int ListTest1(List<object> l, object e)
+        {
+            var i = l.LastIndexOf(e);
+            if (i >= 0)
+                return i;
+            return -1;
+        }
+
         [Ignore("implement splitting")]
         public static int HashtableTest(int a)
         {