+static const char LOCATE_metamodel___type_formal___MMNullableType___has_formal[] = "type_formal::MMNullableType::(type_formal::MMType::has_formal)";
+val_t metamodel___type_formal___MMNullableType___has_formal(val_t p0){
+ struct {struct stack_frame_t me;} fra;
+ val_t REGB0;
+ val_t tmp;
+ fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+ fra.me.file = LOCATE_metamodel___type_formal;
+ fra.me.line = 59;
+ fra.me.meth = LOCATE_metamodel___type_formal___MMNullableType___has_formal;
+ fra.me.has_broke = 0;
+ fra.me.REG_size = 1;
+ fra.me.nitni_local_ref_head = NULL;
+ fra.me.REG[0] = NIT_NULL;
+ fra.me.REG[0] = p0;
+ /* metamodel/type_formal.nit:59 */
+ fra.me.REG[0] = CALL_metamodel___static_type___MMNullableType___base_type(fra.me.REG[0])(fra.me.REG[0]);
+ REGB0 = CALL_metamodel___type_formal___MMType___has_formal(fra.me.REG[0])(fra.me.REG[0]);
+ goto label1;
+ label1: while(0);
+ stack_frame_head = fra.me.prev;
+ return REGB0;
+}