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