Add additional CFG construction assertions

kernel/modelverse_jit/cfg_ir.py

@@ -28,6 +28,10 @@ class BasicBlock(object):
 
     def append_parameter(self, parameter):
         """Appends a parameter to this basic block."""
+        if isinstance(parameter, Definition):
+            assert isinstance(parameter.value, BlockParameter)
+        else:
+            assert isinstance(parameter, BlockParameter)
         result = self.create_definition(parameter)
         self.parameters.append(result)
         if len(self.definitions) > 0: