diff --git a/examples/dotnet/Program.cs b/examples/dotnet/Program.cs
index b6f6e8038..47906add4 100644
--- a/examples/dotnet/Program.cs
+++ b/examples/dotnet/Program.cs
@@ -2103,7 +2103,7 @@ namespace test_mapi
             if (s.Check() != Status.SATISFIABLE)
                 throw new TestFailedException();
 
-            // Console.WriteLine("OK, model: {0}", s.Model.ToString());
+            Console.WriteLine("OK, model: {0}", s.Model.ToString());
         }
 
 
diff --git a/src/model/model.cpp b/src/model/model.cpp
index a1fdfc980..60441054c 100644
--- a/src/model/model.cpp
+++ b/src/model/model.cpp
@@ -312,7 +312,8 @@ void model::collect_occs(top_sort& ts, func_decl* f) {
         func_interp* fi = get_func_interp(f);
         if (fi) {
             e = fi->get_else();
-            collect_occs(ts, e);
+            if (e != nullptr)
+               collect_occs(ts, e);
         }
     }
 }