-val* var16 /* : HashMap[Object, HashMap2[Object, Object, nullable Object]] */;
-val* var_level1 /* var level1: HashMap[Object, HashMap2[Object, Object, nullable Object]] */;
-short int var17 /* : Bool */;
-short int var18 /* : Bool */;
-val* var19 /* : HashMap2[Object, Object, nullable Object] */;
-val* var_level2 /* var level2: HashMap2[Object, Object, nullable Object] */;
-val* var20 /* : nullable Object */;
-/* Covariant cast for argument 0 (k1) <p0:Object> isa HashMap3#0 */
-/* <p0:Object> isa HashMap3#0 */
-type_struct = self->type->resolution_table->types[COLOR_more_collections__HashMap3_FT0];
+val* var19 /* : HashMap[nullable Object, HashMap2[nullable Object, nullable Object, nullable Object]] */;
+val* var21 /* : 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* var22 /* : nullable Object */;
+val* var_level2 /* var level2: nullable HashMap2[nullable Object, nullable Object, nullable Object] */;
+val* var23 /* : null */;
+short int var24 /* : Bool */;
+short int var25 /* : Bool */;
+val* var_other /* var other: nullable Object */;
+short int var27 /* : Bool */;
+short int var29 /* : Bool */;
+val* var30 /* : HashMap2[nullable Object, nullable Object, 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];