error_redef_class.nit:17,13--16: Redef Error: no imported class `Fail` to refine.