The UML redefinedProperty allows the name of a redefinition to be different to the top-level property it is inherited from. Please implement this feature in Modeler. It is especially useful in SysML where the decent through abstraction levels in a specialization also drives a refinement of the inherited properties.
For example in this BDD:
the (real) redefinition of property 'Electric Car'.m would be better served with a part name of "em" as in 'Electric Car'.em.