+redef class ICheckInstance
+ redef fun dump_intern(icd)
+ do
+ return "CHECK_INSTANCE CHECKNEW_{stype}({icd.register(expr)})"
+ end
+end
+
+redef class IInitAttributes
+ redef fun dump_intern(icd)
+ do
+ return "INIT_ATTRIBUTES INIT_ATTRIBUTES_{stype}({icd.register(expr)})"
+ end
+end
+