+MOD.InstanceOfTest <T MOD.SCLTest
+ >-- MOD.InstanceOfTest.HasType --> L0.Type <R L0.IsRelatedTo : L0.TotalFunction
+ @MOD.sclAssertion MOD.SCLTest.test "instanceOfTest self" "Resource -> <Proc> Boolean"
+
+MOD.instanceOfTest : L0.Template
+ @template %test %type
+ %test : MOD.InstanceOfTest
+ MOD.InstanceOfTest.HasType %type
+