base_error_doubledef.nit:26,12--14: Error: A property foo is already defined in class B at line 24.