error_redef4.nit:18,13: Error: A class A is already defined at line 17.