>>614
名前の変更を誤解しているみたいなので。
俺の勘違いだったらスマン。

class A
feature
  f is do .. end  -- *1
end

class B
inherit A rename f as g end  -- 名前を f から g に変更
end

a: A
b: B

create a  -- コンストラクタ
a.f  -- *1 が呼び出される

create b  -- コンストラクタ
b.f  -- コンパイル・エラー
b.g  -- *1 が呼び出される

a := b  -- A型の変数にB型のオブジェクトを代入
a.f  -- *1 が呼び出される
a.g  -- コンパイル・エラー