+/* method ordered_tree#OrderedTree#== for (self: OrderedTree[Object], nullable Object): Bool */
+short int ordered_tree___ordered_tree__OrderedTree___core__kernel__Object___61d_61d(val* self, val* p0) {
+short int var /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var1 /* : Bool */;
+int cltype;
+int idtype;
+short int var2 /* : Bool */;
+short int var3 /* : Bool */;
+val* var4 /* : Array[Object] */;
+val* var6 /* : Array[Object] */;
+val* var7 /* : Array[Object] */;
+val* var9 /* : Array[Object] */;
+short int var10 /* : Bool */;
+short int var_ /* var : Bool */;
+val* var11 /* : HashMap[Object, Array[Object]] */;
+val* var13 /* : HashMap[Object, Array[Object]] */;
+val* var14 /* : HashMap[Object, Array[Object]] */;
+val* var16 /* : HashMap[Object, Array[Object]] */;
+short int var17 /* : Bool */;
+var_other = p0;
+/* <var_other:nullable Object> isa OrderedTree[Object] */
+cltype = type_ordered_tree__OrderedTree__core__Object.color;
+idtype = type_ordered_tree__OrderedTree__core__Object.id;
+if(var_other == NULL) {
+var1 = 0;
+} else {
+if(cltype >= (((long)var_other&3)?type_info[((long)var_other&3)]:var_other->type)->table_size) {
+var1 = 0;
+} else {
+var1 = (((long)var_other&3)?type_info[((long)var_other&3)]:var_other->type)->type_table[cltype] == idtype;
+}
+}
+var2 = !var1;
+if (var2){
+var = 0;
+goto RET_LABEL;
+} else {
+}
+{
+{ /* Inline ordered_tree#OrderedTree#roots (self) on <self:OrderedTree[Object]> */
+var6 = self->attrs[COLOR_ordered_tree__OrderedTree___roots].val; /* _roots on <self:OrderedTree[Object]> */
+if (unlikely(var6 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _roots");
+PRINT_ERROR(" (%s:%d)\n", FILE_ordered_tree, 66);
+fatal_exit(1);
+}
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+{ /* Inline ordered_tree#OrderedTree#roots (var_other) on <var_other:nullable Object(OrderedTree[Object])> */
+var9 = var_other->attrs[COLOR_ordered_tree__OrderedTree___roots].val; /* _roots on <var_other:nullable Object(OrderedTree[Object])> */
+if (unlikely(var9 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _roots");
+PRINT_ERROR(" (%s:%d)\n", FILE_ordered_tree, 66);
+fatal_exit(1);
+}
+var7 = var9;
+RET_LABEL8:(void)0;
+}
+}
+{
+var10 = core___core__Array___core__kernel__Object___61d_61d(var4, var7);
+}
+var_ = var10;
+if (var10){
+{
+{ /* Inline ordered_tree#OrderedTree#sub (self) on <self:OrderedTree[Object]> */
+var13 = self->attrs[COLOR_ordered_tree__OrderedTree___sub].val; /* _sub on <self:OrderedTree[Object]> */
+if (unlikely(var13 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _sub");
+PRINT_ERROR(" (%s:%d)\n", FILE_ordered_tree, 69);
+fatal_exit(1);
+}
+var11 = var13;
+RET_LABEL12:(void)0;
+}
+}
+{
+{ /* Inline ordered_tree#OrderedTree#sub (var_other) on <var_other:nullable Object(OrderedTree[Object])> */
+var16 = var_other->attrs[COLOR_ordered_tree__OrderedTree___sub].val; /* _sub on <var_other:nullable Object(OrderedTree[Object])> */
+if (unlikely(var16 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _sub");
+PRINT_ERROR(" (%s:%d)\n", FILE_ordered_tree, 69);
+fatal_exit(1);
+}
+var14 = var16;
+RET_LABEL15:(void)0;
+}
+}
+{
+var17 = core___core__MapRead___core__kernel__Object___61d_61d(var11, var14);
+}
+var3 = var17;
+} else {
+var3 = var_;
+}
+var = var3;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method ordered_tree#OrderedTree#hash for (self: OrderedTree[Object]): Int */
+long ordered_tree___ordered_tree__OrderedTree___core__kernel__Object__hash(val* self) {
+long var /* : Int */;
+val* var1 /* : Array[Object] */;
+val* var3 /* : Array[Object] */;
+long var4 /* : Int */;
+val* var5 /* : HashMap[Object, Array[Object]] */;
+val* var7 /* : HashMap[Object, Array[Object]] */;
+long var8 /* : Int */;
+long var9 /* : Int */;
+short int var11 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+long var12 /* : Int */;
+{
+{ /* Inline ordered_tree#OrderedTree#roots (self) on <self:OrderedTree[Object]> */
+var3 = self->attrs[COLOR_ordered_tree__OrderedTree___roots].val; /* _roots on <self:OrderedTree[Object]> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _roots");
+PRINT_ERROR(" (%s:%d)\n", FILE_ordered_tree, 66);
+fatal_exit(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+var4 = core___core__SequenceRead___core__kernel__Object__hash(var1);
+}
+{
+{ /* Inline ordered_tree#OrderedTree#sub (self) on <self:OrderedTree[Object]> */
+var7 = self->attrs[COLOR_ordered_tree__OrderedTree___sub].val; /* _sub on <self:OrderedTree[Object]> */
+if (unlikely(var7 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _sub");
+PRINT_ERROR(" (%s:%d)\n", FILE_ordered_tree, 69);
+fatal_exit(1);
+}
+var5 = var7;
+RET_LABEL6:(void)0;
+}
+}
+{
+var8 = core___core__MapRead___core__kernel__Object__hash(var5);
+}
+{
+{ /* Inline kernel#Int#+ (var4,var8) on <var4:Int> */
+/* Covariant cast for argument 0 (i) <var8:Int> isa OTHER */
+/* <var8:Int> isa OTHER */
+var11 = 1; /* easy <var8:Int> isa OTHER*/
+if (unlikely(!var11)) {
+var_class_name = type_core__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__kernel, 731);
+fatal_exit(1);
+}
+var12 = var4 + var8;
+var9 = var12;
+goto RET_LABEL10;
+RET_LABEL10:(void)0;
+}
+}
+var = var9;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}