I think it should actually fail when building the metamodel. Right now it just ignores the inheritance annotation in Product.