diff --git a/test/typed/method_compiler/test_assignment.rb b/test/typed/method_compiler/test_assignment.rb
index 9ffdb505..d7635525 100644
--- a/test/typed/method_compiler/test_assignment.rb
+++ b/test/typed/method_compiler/test_assignment.rb
@@ -9,17 +9,18 @@ module Register
 
       @input    = s(:statements, s(:assignment, s(:name, :r), s(:operator_value, :+, s(:int, 10), s(:int, 1))))
 
-      @expect = [Label, LoadConstant, LoadConstant, OperatorInstruction, SlotToReg, RegToSlot, Label ,
-                 FunctionReturn]
-      check
+      @expect = [Label, LoadConstant, LoadConstant, OperatorInstruction, SlotToReg, RegToSlot ,
+                 LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_assign_local
       Parfait.object_space.get_main.add_local(:r , :Integer)
       @input =s(:statements, s(:assignment, s(:name, :r), s(:int, 5)))
 
-      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
-      check
+      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_assign_local_assign
@@ -27,26 +28,27 @@ module Register
 
       @input = s(:statements, s(:assignment, s(:name, :r), s(:int, 5)))
 
-      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
-    check
+      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+               RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_assign_call
       Parfait.object_space.get_main.add_local(:r , :Integer)
       @input = s(:statements, s(:assignment, s(:name, :r), s(:call, s(:name, :main), s(:arguments))))
-      @expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
-                   SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall ,
-                   Label, RegisterTransfer, SlotToReg, SlotToReg, SlotToReg, RegToSlot, Label ,
-                   FunctionReturn]
-      check
+      @expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
+               LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer ,
+               FunctionCall, Label, RegisterTransfer, SlotToReg, SlotToReg, SlotToReg ,
+               RegToSlot, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_named_list_get
       Parfait.object_space.get_main.add_local(:r , :Integer)
       @input = s(:statements, s(:assignment, s(:name, :r), s(:int, 5)), s(:return, s(:name, :r)))
-      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg, RegToSlot ,
-                 Label, FunctionReturn]
-      was = check
+      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg ,
+                 RegToSlot, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      was = check_return
       get = was.next(5)
       assert_equal SlotToReg , get.class
       assert_equal 1 + 1, get.index , "Get to named_list index must be offset, not #{get.index}"
@@ -55,8 +57,9 @@ module Register
     def test_assign_local_int
       Parfait.object_space.get_main.add_local(:r , :Integer)
       @input = s(:statements, s(:assignment, s(:name, :r), s(:int, 5)) )
-      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
-      was = check
+      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+      was = check_return
       set = was.next(3)
       assert_equal RegToSlot , set.class
       assert_equal 1 + 1, set.index , "Set to named_list index must be offset, not #{set.index}"
@@ -72,8 +75,9 @@ module Register
     def test_assign_arg
       Parfait.object_space.get_main.add_argument(:blar , :Integer)
       @input = s(:statements, s(:assignment, s(:name, :blar), s(:int, 5)))
-      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
-      was = check
+      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+      was = check_return
       set = was.next(3)
       assert_equal RegToSlot , set.class
       assert_equal 1 + 1, set.index , "Set to args index must be offset, not #{set.index}"
@@ -90,8 +94,9 @@ module Register
       # have to define bar externally, just because redefining main. Otherwise that would be automatic
       Parfait.object_space.get_main.add_argument(:balr , :Integer)
       @input = s(:statements, s(:return, s(:name, :balr)))
-      @expect =  [Label, SlotToReg, SlotToReg, RegToSlot, Label, FunctionReturn]
-      was = check
+      @expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+      was = check_return
       get = was.next(2)
       assert_equal SlotToReg , get.class
       assert_equal 1 + 1, get.index , "Get to args index must be offset, not #{get.index}"
diff --git a/test/typed/method_compiler/test_call_site.rb b/test/typed/method_compiler/test_call_site.rb
index 05513efe..e0881465 100644
--- a/test/typed/method_compiler/test_call_site.rb
+++ b/test/typed/method_compiler/test_call_site.rb
@@ -9,9 +9,10 @@ module Register
       clean_compile :Integer, :puti, {}, s(:statements, s(:return, s(:int, 1)))
       @input = s(:call, s(:name, :puti), s(:arguments), s(:receiver, s(:int, 42)))
       @expect =  [Label, SlotToReg, LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
-                   SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall ,
-                   Label, RegisterTransfer, SlotToReg, SlotToReg, Label, FunctionReturn]
-      check
+                 SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall, Label ,
+                 RegisterTransfer, SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot, Label ,
+                 FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
 
@@ -19,22 +20,23 @@ module Register
       clean_compile :Word, :putstr,{}, s(:statements, s(:return, s(:int, 1)))
 
       @input =s(:call, s(:name, :putstr), s(:arguments), s(:receiver, s(:string, "Hello")))
-      @expect =  [Label, SlotToReg, LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
-                   SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall ,
-                   Label, RegisterTransfer, SlotToReg, SlotToReg, Label, FunctionReturn]
-      check
+      @expect = [Label, SlotToReg, LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
+                 SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall, Label ,
+                 RegisterTransfer, SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot, Label ,
+                 FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
-    def _test_call_local_int
+    def test_call_local_int
       Parfait.object_space.get_main.add_local(:testi , :Integer)
       clean_compile :Integer, :putint, {}, s(:statements, s(:return, s(:int, 1)))
       @input = s(:statements, s(:assignment, s(:name, :testi), s(:int, 20)), s(:call, s(:name, :putint), s(:arguments), s(:receiver, s(:name, :testi))))
 
       @expect = [Label, LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg ,
-                 RegToSlot, LoadConstant, RegToSlot, LoadConstant, RegToSlot, LoadConstant, RegToSlot ,
-                 RegisterTransfer, FunctionCall, Label, RegisterTransfer, SlotToReg, SlotToReg, Label ,
-                 FunctionReturn]
-    check
+                 RegToSlot, LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot, LoadConstant ,
+                 RegToSlot, RegisterTransfer, FunctionCall, Label, RegisterTransfer, SlotToReg, SlotToReg ,
+                 LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_call_local_class
@@ -42,30 +44,25 @@ module Register
       clean_compile :List, :add, {}, s(:statements, s(:return, s(:int, 1)))
 
       @input =s(:statements, s(:call, s(:name, :add), s(:arguments), s(:receiver, s(:name, :test_l))))
-      @expect = [Label, SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
-                   LoadConstant, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer ,
-                   FunctionCall, Label, RegisterTransfer, SlotToReg, SlotToReg, Label, FunctionReturn]
-      check
+      @expect =  [Label, SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
+                 LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall ,
+                 Label, RegisterTransfer, SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot ,
+                 Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
-    def _test_call_puts
-      @input    = <<HERE
-  class Space
-  int puts(Word str)
-    return str
-  end
-  int main()
-    puts("Hello")
-  end
-  end
-HERE
-      @expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
-                 RegToSlot, LoadConstant, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall ,
-                 Label, RegisterTransfer, SlotToReg, SlotToReg, Label, FunctionReturn]
-      was = check
-      set = was.next(7)
+    def test_call_puts
+      clean_compile :Space, :putstr, {str: :Word}, s(:statements, s(:return, s(:name, :str)))
+      @input =s(:call, s(:name, :putstr), s(:arguments, s(:string, "Hello") ) )
+      @expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
+                 LoadConstant, SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot ,
+                 LoadConstant, RegToSlot, RegisterTransfer, FunctionCall, Label, RegisterTransfer ,
+                 SlotToReg, SlotToReg, LoadConstant, SlotToReg, RegToSlot, Label ,
+                 FunctionReturn]
+      was = check_return
+      set = was.next(8)
       assert_equal RegToSlot , set.class
-      assert_equal 9, set.index , "Set to message must be offset, not #{set.index}"
+      assert_equal 1, set.index , "Set to message must be offset, not #{set.index}"
     end
   end
 end
diff --git a/test/typed/method_compiler/test_fields.rb b/test/typed/method_compiler/test_fields.rb
index 2317ebe0..382c7475 100644
--- a/test/typed/method_compiler/test_fields.rb
+++ b/test/typed/method_compiler/test_fields.rb
@@ -9,8 +9,9 @@ module Register
       Parfait.object_space.get_main.add_local( :m , :Message)
       @input = s(:statements,  s(:return, s(:field_access,
                                 s(:receiver, s(:name, :m)), s(:field, s(:name, :name)))))
-      @expect =  [Label, SlotToReg, SlotToReg, SlotToReg, RegToSlot, Label, FunctionReturn]
-      check
+      @expect = [Label, SlotToReg, SlotToReg, SlotToReg, RegToSlot, LoadConstant ,
+                 SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_field_arg
@@ -20,20 +21,22 @@ module Register
                     s(:receiver, s(:name, :main)), s(:field, s(:name, :name)))))
       @input =s(:statements, s(:return, s(:call, s(:name, :get_name), s(:arguments, s(:name, :m)))))
 
-      @expect = [ Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
-                 SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg, RegToSlot ,
-                 LoadConstant, RegToSlot, RegisterTransfer, FunctionCall, Label, RegisterTransfer, SlotToReg ,
-                 SlotToReg, RegToSlot, Label, FunctionReturn]
-      check
+      @expect = [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
+                 LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg, SlotToReg ,
+                 RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall, Label ,
+                 RegisterTransfer, SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_message_field
       Parfait.object_space.get_main.add_local(:name , :Word)
       @input = s(:statements, s(:assignment, s(:name, :name), s(:field_access, s(:receiver, s(:name, :message)), s(:field, s(:name, :name)))), s(:return, s(:name, :name)))
 
-      @expect =   [Label, RegisterTransfer, SlotToReg, SlotToReg, RegToSlot, SlotToReg, SlotToReg ,
-               RegToSlot, Label, FunctionReturn]
-      check
+      @expect = [Label, RegisterTransfer, SlotToReg, SlotToReg, RegToSlot, SlotToReg ,
+                 SlotToReg, RegToSlot, LoadConstant, SlotToReg, RegToSlot, Label ,
+                 FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
   end
 end
diff --git a/test/typed/method_compiler/test_if_statement.rb b/test/typed/method_compiler/test_if_statement.rb
index 86e8bd40..260c05df 100644
--- a/test/typed/method_compiler/test_if_statement.rb
+++ b/test/typed/method_compiler/test_if_statement.rb
@@ -7,29 +7,30 @@ module Register
     def test_if_basicr
       @input = s(:statements, s(:if_statement, :plus, s(:condition, s(:operator_value, :-, s(:int, 10), s(:int, 12))), s(:true_statements, s(:return, s(:int, 3))), s(:false_statements, s(:return, s(:int, 4)))))
 
-    @expect =  [Label, LoadConstant,LoadConstant, OperatorInstruction,IsPlus ,
-                  LoadConstant,RegToSlot,Branch , Label , LoadConstant ,RegToSlot,
-                  Label,Label,FunctionReturn]
-    check
+    @expect =  [Label, LoadConstant, LoadConstant, OperatorInstruction, IsPlus, LoadConstant ,
+                 RegToSlot, Branch, Label, LoadConstant, RegToSlot, Label ,
+                 LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+    assert_nil msg = check_nil , msg
     end
 
 
     def test_if_small_minus
       @input = s(:statements, s(:if_statement, :minus, s(:condition, s(:operator_value, :-, s(:int, 10), s(:int, 12))), s(:true_statements, s(:return, s(:int, 3))), s(:false_statements, nil)))
 
-    @expect =  [Label, LoadConstant, LoadConstant, OperatorInstruction, IsMinus, Branch, Label ,
-                 LoadConstant, RegToSlot, Label, Label, FunctionReturn]
-    check
+    @expect = [Label, LoadConstant, LoadConstant, OperatorInstruction, IsMinus, Branch ,
+                 Label, LoadConstant, RegToSlot, Label, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+    assert_nil msg = check_nil , msg
     end
 
 
     def test_if_small_zero
       @input = s(:statements, s(:if_statement, :zero, s(:condition, s(:operator_value, :-, s(:int, 10), s(:int, 12))), s(:true_statements, s(:return, s(:int, 3))), s(:false_statements, nil)))
 
-    @expect =  [Label, LoadConstant,LoadConstant,OperatorInstruction,IsZero ,
-                  Branch , Label , LoadConstant ,RegToSlot,
-                  Label,Label, FunctionReturn]
-    check
+    @expect =  [Label, LoadConstant, LoadConstant, OperatorInstruction, IsZero, Branch ,
+                 Label, LoadConstant, RegToSlot, Label, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+    assert_nil msg = check_nil , msg
     end
   end
 end
diff --git a/test/typed/method_compiler/test_return_statement.rb b/test/typed/method_compiler/test_return_statement.rb
index b59b91e3..eb8ea88f 100644
--- a/test/typed/method_compiler/test_return_statement.rb
+++ b/test/typed/method_compiler/test_return_statement.rb
@@ -6,38 +6,41 @@ module Register
 
     def test_return_int
       @input = s(:statements, s(:return, s(:int, 5)))
-      @expect =  [Label, LoadConstant ,RegToSlot,Label,FunctionReturn]
-      check
+      @expect =   [Label, LoadConstant, RegToSlot, LoadConstant, SlotToReg, RegToSlot ,
+                 Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_return_local
       Parfait.object_space.get_main.add_local(:runner , :Integer)
       @input = s(:statements, s(:return, s(:name, :runner)))
-      @expect =  [Label, SlotToReg,SlotToReg ,RegToSlot,Label,FunctionReturn]
-      check
+      @expect =  [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, SlotToReg ,
+                 RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_return_local_assign
       Parfait.object_space.get_main.add_local(:runner , :Integer)
       @input = s(:statements, s(:assignment, s(:name, :runner), s(:int, 5)), s(:return, s(:name, :runner)))
-      @expect =  [Label, LoadConstant,SlotToReg,RegToSlot,SlotToReg,SlotToReg ,RegToSlot,
-                  Label,FunctionReturn]
-      check
+      @expect =  [Label, LoadConstant, SlotToReg, RegToSlot, SlotToReg, SlotToReg ,
+                 RegToSlot, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_return_call
       @input =s(:statements, s(:return, s(:call, s(:name, :main), s(:arguments))))
-      @expect =  [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, LoadConstant ,
-                   SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer, FunctionCall ,
-                   Label, RegisterTransfer, SlotToReg, SlotToReg, RegToSlot, Label, FunctionReturn]
-      check
+      @expect =  [Label, SlotToReg, SlotToReg, RegToSlot, LoadConstant, RegToSlot ,
+                 LoadConstant, SlotToReg, RegToSlot, LoadConstant, RegToSlot, RegisterTransfer ,
+                 FunctionCall, Label, RegisterTransfer, SlotToReg, SlotToReg, RegToSlot ,
+                 LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def pest_return_space_length # need to add runtime first
       Parfait.object_space.get_main.add_local(:l , :Type)
       @input = s(:statements, s(:assignment, s(:name, :l), s(:call, s(:name, :get_type), s(:arguments), s(:receiver, s(:name, :space)))), s(:return, s(:field_access, s(:receiver, s(:name, :self)), s(:field, s(:name, :runner)))))
       @expect =  [Label, SlotToReg,SlotToReg ,RegToSlot,Label,FunctionReturn]
-      check
+      assert_nil msg = check_nil , msg
     end
 
   end
diff --git a/test/typed/method_compiler/test_while_statement.rb b/test/typed/method_compiler/test_while_statement.rb
index a937be6e..96ff2077 100644
--- a/test/typed/method_compiler/test_while_statement.rb
+++ b/test/typed/method_compiler/test_while_statement.rb
@@ -8,9 +8,10 @@ module Register
     def test_while_mini
       @input = s(:statements, s(:while_statement, :plus, s(:conditional, s(:int, 1)), s(:statements, s(:return, s(:int, 3)))))
 
-      @expect = [Label, Branch, Label, LoadConstant, RegToSlot, Label, LoadConstant ,
-               IsPlus, Label, FunctionReturn]
-      check
+      @expect =  [Label, Branch, Label, LoadConstant, RegToSlot, Label ,
+                 LoadConstant, IsPlus, LoadConstant, SlotToReg, RegToSlot, Label ,
+                 FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
     def test_while_assign
@@ -18,10 +19,11 @@ module Register
 
       @input    = s(:statements, s(:assignment, s(:name, :n), s(:int, 5)), s(:while_statement, :plus, s(:conditional, s(:name, :n)), s(:statements, s(:assignment, s(:name, :n), s(:operator_value, :-, s(:name, :n), s(:int, 1))))), s(:return, s(:name, :n)))
 
-      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, Branch, Label, SlotToReg ,
-               SlotToReg, LoadConstant, OperatorInstruction, SlotToReg, RegToSlot, Label, SlotToReg ,
-               SlotToReg, IsPlus, SlotToReg, SlotToReg, RegToSlot, Label, FunctionReturn]
-      check
+      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, Branch, Label ,
+                 SlotToReg, SlotToReg, LoadConstant, OperatorInstruction, SlotToReg, RegToSlot ,
+                 Label, SlotToReg, SlotToReg, IsPlus, SlotToReg, SlotToReg ,
+                 RegToSlot, LoadConstant, SlotToReg, RegToSlot, Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
 
 
@@ -30,11 +32,12 @@ module Register
 
       @input    = s(:statements, s(:assignment, s(:name, :n), s(:int, 10)), s(:while_statement, :plus, s(:conditional, s(:operator_value, :-, s(:name, :n), s(:int, 5))), s(:statements, s(:assignment, s(:name, :n), s(:operator_value, :+, s(:name, :n), s(:int, 1))), s(:return, s(:name, :n)))))
 
-      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, Branch, Label, SlotToReg ,
-               SlotToReg, LoadConstant, OperatorInstruction, SlotToReg, RegToSlot, SlotToReg, SlotToReg ,
-               RegToSlot, Label, SlotToReg, SlotToReg, LoadConstant, OperatorInstruction, IsPlus ,
-               Label, FunctionReturn]
-      check
+      @expect = [Label, LoadConstant, SlotToReg, RegToSlot, Branch, Label ,
+                 SlotToReg, SlotToReg, LoadConstant, OperatorInstruction, SlotToReg, RegToSlot ,
+                 SlotToReg, SlotToReg, RegToSlot, Label, SlotToReg, SlotToReg ,
+                 LoadConstant, OperatorInstruction, IsPlus, LoadConstant, SlotToReg, RegToSlot ,
+                 Label, FunctionReturn]
+      assert_nil msg = check_nil , msg
     end
   end
 end