It starts up without crashing until the menu

core/core_formalism.mvc

@@ -1,4 +1,5 @@
 import models/SimpleClassDiagrams as SimpleClassDiagrams
+include "primitives.alh"
 
 SimpleClassDiagrams CoreFormalism {
     Class String {
@@ -21,7 +22,7 @@ SimpleClassDiagrams CoreFormalism {
 
     Class Boolean {
         $
-            if (bool_not(is_physical_bool(self))):
+            if (bool_not(is_physical_boolean(self))):
                 return "Boolean has no bool value"!
             else:
                 return "OK"!

kernel/modelverse_kernel/main.py

@@ -40,7 +40,7 @@ class ModelverseKernel(object):
             del self.generators[username][operation]
             return None
         except:
-            print("Unknown error @ %s" % self.debug_info[username])
+            print("Unknown error @ %s" % "\n".join(self.debug_info[username]))
             raise
 
     def execute_rule(self, username):