extern const int COLOR_typing__ToolContext___64dtyping_phase;
val* typing__ToolContext__typing_phase(val* self);
void typing__ToolContext__typing_phase_61d(val* self, val* p0);
-extern const int COLOR_typing__MPropDef___64dhas_supercall;
-short int typing__MPropDef__has_supercall(val* self);
-void typing__MPropDef__has_supercall_61d(val* self, short int p0);
extern const int COLOR_phase__Phase__toolcontext;
extern const int COLOR_modelbuilder__ToolContext__modelbuilder;
extern const int COLOR_typing__APropdef__do_typing;
val* typing__TypeVisitor__get_method(val* self, val* p0, val* p1, val* p2, short int p3);
extern const int COLOR_model__MSignature__vararg_rank;
extern const int COLOR_model__MSignature__arity;
+val* BOX_kernel__Int(long);
val* NEW_range__Range(const struct type* type);
extern const struct type type_range__Rangekernel__Int;
extern const int COLOR_range__Range__without_last;
void typing__AVarExpr__accept_typing(val* self, val* p0);
extern const int COLOR_parser_nodes__AAssignFormExpr__n_value;
void typing__AVarAssignExpr__accept_typing(val* self, val* p0);
-extern const int COLOR_typing__AReassignFormExpr__reassign_callsite;
-extern const int COLOR_typing__CallSite__mpropdef;
-val* typing__AReassignFormExpr__reassign_property(val* self);
extern const int COLOR_typing__AReassignFormExpr___64dreassign_callsite;
val* typing__AReassignFormExpr__reassign_callsite(val* self);
void typing__AReassignFormExpr__reassign_callsite_61d(val* self, val* p0);
void typing__ASelfExpr__its_variable_61d(val* self, val* p0);
extern const int COLOR_typing__ASelfExpr__its_variable_61d;
void typing__ASelfExpr__accept_typing(val* self, val* p0);
-extern const int COLOR_typing__ASendExpr__callsite;
-val* typing__ASendExpr__mproperty(val* self);
extern const int COLOR_typing__ASendExpr___64dcallsite;
val* typing__ASendExpr__callsite(val* self);
void typing__ASendExpr__callsite_61d(val* self, val* p0);
val* typing__ABraExpr__compute_raw_arguments(val* self);
val* typing__ABraAssignExpr__property_name(val* self);
val* typing__ABraAssignExpr__compute_raw_arguments(val* self);
-extern const int COLOR_typing__ASendReassignFormExpr__write_callsite;
-val* typing__ASendReassignFormExpr__write_mproperty(val* self);
extern const int COLOR_typing__ASendReassignFormExpr___64dwrite_callsite;
val* typing__ASendReassignFormExpr__write_callsite(val* self);
void typing__ASendReassignFormExpr__write_callsite_61d(val* self, val* p0);
extern const int COLOR_parser_nodes__AInitExpr__n_args;
val* typing__AInitExpr__compute_raw_arguments(val* self);
val* typing__AExprs__to_a(val* self);
-extern const int COLOR_typing__ASuperExpr___64dmproperty;
-val* typing__ASuperExpr__mproperty(val* self);
-void typing__ASuperExpr__mproperty_61d(val* self, val* p0);
+extern const int COLOR_typing__ASuperExpr___64dcallsite;
+val* typing__ASuperExpr__callsite(val* self);
+void typing__ASuperExpr__callsite_61d(val* self, val* p0);
+extern const int COLOR_typing__ASuperExpr___64dmpropdef;
+val* typing__ASuperExpr__mpropdef(val* self);
+void typing__ASuperExpr__mpropdef_61d(val* self, val* p0);
extern const int COLOR_model__MProperty__lookup_super_definitions;
extern const int COLOR_model__MPropDef__is_intro;
extern const int COLOR_typing__ASuperExpr__process_superinit;
extern const int COLOR_parser_nodes__ASuperExpr__n_args;
-extern const int COLOR_typing__MPropDef__has_supercall_61d;
+extern const int COLOR_modelize_property__MPropDef__has_supercall_61d;
+extern const int COLOR_typing__ASuperExpr__mpropdef_61d;
void typing__ASuperExpr__accept_typing(val* self, val* p0);
extern const int COLOR_model__MClassDef__supertypes;
extern const struct type type_nullable_model__MMethod;
extern const int COLOR_model__MProperty__full_name;
-extern const int COLOR_typing__ASuperExpr__mproperty_61d;
+extern const int COLOR_typing__ASuperExpr__callsite_61d;
+extern const int COLOR_model__MParameter__name;
void typing__ASuperExpr__process_superinit(val* self, val* p0);
-extern const int COLOR_typing__ANewExpr__callsite;
-val* typing__ANewExpr__mproperty(val* self);
extern const int COLOR_typing__ANewExpr___64dcallsite;
val* typing__ANewExpr__callsite(val* self);
void typing__ANewExpr__callsite_61d(val* self, val* p0);