error_redef_class.nit:17,13--16: Redef error: No imported class Fail to refine.