Vom Umtaufen halte ich auch nichts, zumal es Lösungen gibt die zweckmäßiger sind. Und warum überhaupt sollte Kreis von Ellipse erben? Wenn Kreis und Ellipse in einer Klassenhierarchie auf derselben Ebene stünden gäbe es das Liskovsche Problem gar nicht.