-------------------------------------------------------------------------------

Error code: VFAV(4)

Error: two alias clauses specify the same alias name.
What to do: ensure that all aliases have different names.

Class: AA
Feature name: f
Line: 19
  
->  f alias "()" alias "()" (i: INTEGER): INTEGER
      do

-------------------------------------------------------------------------------