project Rename_Val is

   type A_Type is
      ("A1", "A2", "A3");
   A : A_Type := external ("A", "A1");
   type A_Type1 is
      ("A1", "A2", "A3");
   B : A_Type1 := external ("A", "A1");

   case A is

      when "A3" =>
         for Object_Dir use ".." & external ("A", "A3");

      when "A2" =>
         for Object_Dir use ".." & external ("A", "A1");

      when "A1" =>
         for Object_Dir use "." & external ("A");
   end case;

end Rename_Val;

