-const char* var_class_name6;
-short int var7 /* : Bool */;
-int cltype8;
-int idtype9;
-const struct type* type_struct10;
-const char* var_class_name11;
-val* var_k1 /* var k1: Object */;
-val* var_k2 /* var k2: Object */;
-val* var_k3 /* var k3: Object */;
-val* var12 /* : HashMap[Object, HashMap2[Object, Object, nullable Object]] */;
-val* var14 /* : HashMap[Object, HashMap2[Object, Object, nullable Object]] */;
-val* var_level1 /* var level1: HashMap[Object, HashMap2[Object, Object, nullable Object]] */;
-short int var15 /* : Bool */;
-short int var16 /* : Bool */;
-val* var17 /* : null */;
-val* var18 /* : nullable Object */;
-val* var_level2 /* var level2: HashMap2[Object, Object, nullable Object] */;
-val* var19 /* : nullable Object */;
-/* Covariant cast for argument 0 (k1) <p0:Object> isa K1 */
-/* <p0:Object> isa K1 */
-type_struct = self->type->resolution_table->types[COLOR_more_collections__HashMap3_FT0];
+short int is_nullable6;
+const char* var_class_name7;
+short int var8 /* : Bool */;
+int cltype9;
+int idtype10;
+const struct type* type_struct11;
+short int is_nullable12;
+const char* var_class_name13;
+val* var_k1 /* var k1: nullable Object */;
+val* var_k2 /* var k2: nullable Object */;
+val* var_k3 /* var k3: nullable Object */;
+val* var14 /* : HashMap[nullable Object, HashMap2[nullable Object, nullable Object, nullable Object]] */;
+val* var16 /* : HashMap[nullable Object, HashMap2[nullable Object, nullable Object, nullable Object]] */;
+val* var_level1 /* var level1: HashMap[nullable Object, HashMap2[nullable Object, nullable Object, nullable Object]] */;
+val* var17 /* : nullable Object */;
+val* var_level2 /* var level2: nullable HashMap2[nullable Object, nullable Object, nullable Object] */;
+val* var18 /* : null */;
+short int var19 /* : Bool */;
+short int var20 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var22 /* : Bool */;
+short int var24 /* : Bool */;
+val* var25 /* : null */;
+val* var26 /* : nullable Object */;
+/* Covariant cast for argument 0 (k1) <p0:nullable Object> isa K1 */
+/* <p0:nullable Object> isa K1 */
+type_struct = self->type->resolution_table->types[COLOR_more_collections__HashMap3___35dK1];