+{
+{ /* Inline abstract_compiler#ToolContext#opt_no_check_all (self) on <self:ToolContext> */
+var104 = self->attrs[COLOR_abstract_compiler__ToolContext___opt_no_check_all].val; /* _opt_no_check_all on <self:ToolContext> */
+if (unlikely(var104 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_no_check_all");
+PRINT_ERROR(" (%s:%d)\n", "compiler/abstract_compiler.nit", 59);
+show_backtrace(1);
+}
+var102 = var104;
+RET_LABEL103:(void)0;
+}
+}
+{
+{ /* Inline opts#Option#value (var102) on <var102:OptionBool> */
+var107 = var102->attrs[COLOR_opts__Option___value].val; /* _value on <var102:OptionBool> */
+var105 = var107;
+RET_LABEL106:(void)0;
+}
+}
+var108 = ((struct instance_kernel__Bool*)var105)->value; /* autounbox from nullable Object to Bool */;
+if (var108){
+{
+{ /* Inline abstract_compiler#ToolContext#opt_no_check_covariance (self) on <self:ToolContext> */
+var111 = self->attrs[COLOR_abstract_compiler__ToolContext___opt_no_check_covariance].val; /* _opt_no_check_covariance on <self:ToolContext> */
+if (unlikely(var111 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_no_check_covariance");
+PRINT_ERROR(" (%s:%d)\n", "compiler/abstract_compiler.nit", 49);
+show_backtrace(1);
+}
+var109 = var111;
+RET_LABEL110:(void)0;
+}
+}
+var112 = 1;
+{
+{ /* Inline opts#Option#value= (var109,var112) on <var109:OptionBool> */
+/* Covariant cast for argument 0 (value) <var112:Bool> isa VALUE */
+/* <var112:Bool> isa VALUE */
+type_struct117 = var109->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+cltype115 = type_struct117->color;
+idtype116 = type_struct117->id;
+if(cltype115 >= (&type_kernel__Bool)->table_size) {
+var114 = 0;
+} else {
+var114 = (&type_kernel__Bool)->type_table[cltype115] == idtype116;
+}
+if (unlikely(!var114)) {
+var_class_name118 = type_kernel__Bool.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name118);
+PRINT_ERROR(" (%s:%d)\n", "../lib/opts.nit", 40);
+show_backtrace(1);
+}
+var119 = BOX_kernel__Bool(var112); /* autobox from Bool to nullable Object */
+var109->attrs[COLOR_opts__Option___value].val = var119; /* _value on <var109:OptionBool> */
+RET_LABEL113:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#ToolContext#opt_no_check_attr_isset (self) on <self:ToolContext> */
+var122 = self->attrs[COLOR_abstract_compiler__ToolContext___opt_no_check_attr_isset].val; /* _opt_no_check_attr_isset on <self:ToolContext> */
+if (unlikely(var122 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_no_check_attr_isset");
+PRINT_ERROR(" (%s:%d)\n", "compiler/abstract_compiler.nit", 51);
+show_backtrace(1);
+}
+var120 = var122;
+RET_LABEL121:(void)0;
+}
+}
+var123 = 1;
+{
+{ /* Inline opts#Option#value= (var120,var123) on <var120:OptionBool> */
+/* Covariant cast for argument 0 (value) <var123:Bool> isa VALUE */
+/* <var123:Bool> isa VALUE */
+type_struct128 = var120->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+cltype126 = type_struct128->color;
+idtype127 = type_struct128->id;
+if(cltype126 >= (&type_kernel__Bool)->table_size) {
+var125 = 0;
+} else {
+var125 = (&type_kernel__Bool)->type_table[cltype126] == idtype127;
+}
+if (unlikely(!var125)) {
+var_class_name129 = type_kernel__Bool.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name129);
+PRINT_ERROR(" (%s:%d)\n", "../lib/opts.nit", 40);
+show_backtrace(1);
+}
+var130 = BOX_kernel__Bool(var123); /* autobox from Bool to nullable Object */
+var120->attrs[COLOR_opts__Option___value].val = var130; /* _value on <var120:OptionBool> */
+RET_LABEL124:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#ToolContext#opt_no_check_assert (self) on <self:ToolContext> */
+var133 = self->attrs[COLOR_abstract_compiler__ToolContext___opt_no_check_assert].val; /* _opt_no_check_assert on <self:ToolContext> */
+if (unlikely(var133 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_no_check_assert");
+PRINT_ERROR(" (%s:%d)\n", "compiler/abstract_compiler.nit", 53);
+show_backtrace(1);
+}
+var131 = var133;
+RET_LABEL132:(void)0;
+}
+}
+var134 = 1;
+{
+{ /* Inline opts#Option#value= (var131,var134) on <var131:OptionBool> */
+/* Covariant cast for argument 0 (value) <var134:Bool> isa VALUE */
+/* <var134:Bool> isa VALUE */
+type_struct139 = var131->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+cltype137 = type_struct139->color;
+idtype138 = type_struct139->id;
+if(cltype137 >= (&type_kernel__Bool)->table_size) {
+var136 = 0;
+} else {
+var136 = (&type_kernel__Bool)->type_table[cltype137] == idtype138;
+}
+if (unlikely(!var136)) {
+var_class_name140 = type_kernel__Bool.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name140);
+PRINT_ERROR(" (%s:%d)\n", "../lib/opts.nit", 40);
+show_backtrace(1);
+}
+var141 = BOX_kernel__Bool(var134); /* autobox from Bool to nullable Object */
+var131->attrs[COLOR_opts__Option___value].val = var141; /* _value on <var131:OptionBool> */
+RET_LABEL135:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#ToolContext#opt_no_check_autocast (self) on <self:ToolContext> */
+var144 = self->attrs[COLOR_abstract_compiler__ToolContext___opt_no_check_autocast].val; /* _opt_no_check_autocast on <self:ToolContext> */
+if (unlikely(var144 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_no_check_autocast");
+PRINT_ERROR(" (%s:%d)\n", "compiler/abstract_compiler.nit", 55);
+show_backtrace(1);
+}
+var142 = var144;
+RET_LABEL143:(void)0;
+}
+}
+var145 = 1;
+{
+{ /* Inline opts#Option#value= (var142,var145) on <var142:OptionBool> */
+/* Covariant cast for argument 0 (value) <var145:Bool> isa VALUE */
+/* <var145:Bool> isa VALUE */
+type_struct150 = var142->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+cltype148 = type_struct150->color;
+idtype149 = type_struct150->id;
+if(cltype148 >= (&type_kernel__Bool)->table_size) {
+var147 = 0;
+} else {
+var147 = (&type_kernel__Bool)->type_table[cltype148] == idtype149;
+}
+if (unlikely(!var147)) {
+var_class_name151 = type_kernel__Bool.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name151);
+PRINT_ERROR(" (%s:%d)\n", "../lib/opts.nit", 40);
+show_backtrace(1);
+}
+var152 = BOX_kernel__Bool(var145); /* autobox from Bool to nullable Object */
+var142->attrs[COLOR_opts__Option___value].val = var152; /* _value on <var142:OptionBool> */
+RET_LABEL146:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#ToolContext#opt_no_check_null (self) on <self:ToolContext> */
+var155 = self->attrs[COLOR_abstract_compiler__ToolContext___opt_no_check_null].val; /* _opt_no_check_null on <self:ToolContext> */
+if (unlikely(var155 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _opt_no_check_null");
+PRINT_ERROR(" (%s:%d)\n", "compiler/abstract_compiler.nit", 57);
+show_backtrace(1);
+}
+var153 = var155;
+RET_LABEL154:(void)0;
+}
+}
+var156 = 1;
+{
+{ /* Inline opts#Option#value= (var153,var156) on <var153:OptionBool> */
+/* Covariant cast for argument 0 (value) <var156:Bool> isa VALUE */
+/* <var156:Bool> isa VALUE */
+type_struct161 = var153->type->resolution_table->types[COLOR_opts__Option_VTVALUE];
+cltype159 = type_struct161->color;
+idtype160 = type_struct161->id;
+if(cltype159 >= (&type_kernel__Bool)->table_size) {
+var158 = 0;
+} else {
+var158 = (&type_kernel__Bool)->type_table[cltype159] == idtype160;
+}
+if (unlikely(!var158)) {
+var_class_name162 = type_kernel__Bool.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "VALUE", var_class_name162);
+PRINT_ERROR(" (%s:%d)\n", "../lib/opts.nit", 40);
+show_backtrace(1);
+}
+var163 = BOX_kernel__Bool(var156); /* autobox from Bool to nullable Object */
+var153->attrs[COLOR_opts__Option___value].val = var163; /* _value on <var153:OptionBool> */
+RET_LABEL157:(void)0;
+}
+}
+} else {
+}