Runtime error: Aborted (alt/rterror_attr_def_alt5.nit:32)