error_redef_class.nit:17,13--16: Error: class `Fail` not found in module `error_redef_class`.