var_class_name = var28 == NULL ? "null" : var28->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AExpr", var_class_name);
fprintf(stderr, " (%s:%d)\n", "src/flow.nit", 89);
var_class_name = var28 == NULL ? "null" : var28->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "AExpr", var_class_name);
fprintf(stderr, " (%s:%d)\n", "src/flow.nit", 89);